!7

sS data = [[

---- Rules

// Some reasonings that everybody will understand.

// Sorry for the curly braces, we have to help out the parser a tiny bit.

// First, the 3 different cases of what "pizza with..." can mean.

  I ate pizza with pepperoni.

  => {I ate pizza} and {the pizza had pepperoni on it}.

  I ate pizza with Bob.

  => {I ate pizza} and {Bob was with me}.

  I ate pizza with a fork.

  => I used a fork to eat pizza.

// Now some more easy rules.

  I used a fork to eat pizza.

  => I used a fork.

  I used a fork.

  => A fork is a tool.

  The pizza had pepperoni on it.

  => Pepperoni is edible.

  Bob was with me.

  => Bob is a person.

// Some VERY basic mathematical logic

  $A and $B.

  => $A.

  $A and $B.

  => $B.

// Tell the machine what is not plausible

  Mom is edible. => fail

  Mom is a tool. => fail

  anchovis are a tool. => fail

  anchovis are a person. => fail

  ducks are a tool. => fail

  ducks are a person. => fail

  my hands are edible. => fail

  my hands are a person. => fail

// That's it! Now for the input.

---- Input

  I ate pizza with mom.

  I ate pizza with anchovis.

  I ate pizza with ducks.

  I ate pizza with my hands.

]];

p-exp {

  centerBigTTConsole();

  new Gazelle_MiniEngine1().run(data);

}