!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
]];

p-exp {
  new ThoughtSpace1 ts;
  ts.objects.add(Input("a cup of joe"));
  
  ts.addDefinitions(defs);
  ts.think(false);
  //ts.printDefinitionsForInput();
  
  for (Definition d : ts.definitionsForInput()) {
    print("\nTrying definition " + sfu(d));
    new ThoughtSpace1 ts2;
    ts2.objects.add(Input((S) d.rhs));
    ts2.addDefinitions(defs);
    ts2.think(false);
    ts2.removeInitialObjects();
    
    //pnlStruct(ts2.literalDefinitions());
    pnlStruct(ts2.statements());
  }
}

Began life as a copy of #1017032