!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());
  }
}