First Steps

Intro

This example is based on Example 17 from the book.

Example 17, p83

P1 There is a king in the hand and there is not an ace in the hand, or else there is an ace in the hand and there is not a king in the hand.

P2 There is a king in the hand.

C There isn't an ace in the hand.

For the full example see here

Step 1: Import package

from pyetr import View
from pyetr.inference import default_inference_procedure

Import the parsing object

Step 2: Create object form of views

P1 There is a king in the hand and there is not an ace in the hand, or else there is an ace in the hand and there is not a king in the hand.

p1 = View.from_str(
    "{~King()Ace(),King()~Ace()}"
)

P2 There is a king in the hand.

p2 = View.from_str("{King()}")

Step 3: Check result

c = default_inference_procedure((p1, p2))
print(c) #"{~Ace()}"

Full Example

from pyetr import View
from pyetr.inference import default_inference_procedure

p1 = View.from_str(
    "{~King()Ace(),King()~Ace()}"
)
p2 = View.from_str("{King()}")
c = default_inference_procedure((p1, p2))
print(c) #"{~Ace()}"