Open nico-hahn opened 3 years ago
Sentences like this should be possible: "... a tall bush t1 ...", which creates the following conditions: tall(t1), bush(t1)
this should only be allowed in the theory section. assigning predicates in the structure that way is confusing.
Sentences like this should be possible: "... a tall bush t1 ...", which creates the following conditions: tall(t1), bush(t1)