!7

sS defs = [[

A cup of water = A cup with water inside

A cup of Peter = A cup that belongs to Peter

A cup of glass = A cup that consists of glass

A cup of style = A cup that has a lot of style

a $a with $b inside       = [implies] $b is smaller than a $a

a $a that belongs to $b   = [implies] $b is a person

a $a that consists of $b  = [implies] $b is a material

a $a that has a lot of $b = [implies] $b is a property

Joe = a person

]];

sclass Confirmed(Statement st) {}

sclass Rejected(Statement st) {}

p-exp {

  new ThoughtSpace1 ts;

  ts.objects.add(Input("a cup of joe"));

  ts.addDefinitions(defs);

  ts.think(false);

  for (Definition d : ts.definitionsForInput()) {

    print("\nTrying definition " + sfu(d));

    new ThoughtSpace1 ts2;

    ts2.objects.add(Input((S) d.rhs));

    ts2.addDefinitions(defs);

    ts2.steppers.add(voidfunc(ThoughtSpace1 ts) {

      for (ts.list(Statement))

    }));

    ts2.think(false);

    ts2.removeInitialObjects();

    pnlStruct(ts2.statements());

  }

}