(Message 5) From: HELEN HPS (on ERCC DEC-10) Date: Wednesday, 16-Jan-85 14:05:54-GMT To: ecmi08@2972,Pain@EDXA Via: uk.ac.edinburgh.edxa ; (to uk.ac.edinburgh.emas) 16 Jan 85 14:09:59 gmt Msg ID: <132001-454-610@EDXA> -------- /* arch2.prb Winston arch domain Alan Bundy 5.12.80 use with winston */ /* space of description trees */ space(arch,[shapetree,touchtree,orienttree,directiontree,supporttree]). /* description tree */ tree(shapetree,1,shape(prism(wedge,block),pyramid)). tree(touchtree,2,touchrel(separate,touch(marries,abuts))). default(touchtree,separate). /* default predicate */ tree(orienttree,1,orientation(lying,standing)). tree(directiontree,2,direction(leftof,rightof)). tree(supporttree,2,undef(supports,unsupports)). /* Examples */ specimen(arch1, [block(a), block(b), block(c), standing(a), standing(b), lying(c), leftof(a,b), supports(a,c), supports(b,c), marries(a,c), marries(c,a), marries(b,c), marries(c,b)]). specimen(arch2, [block(a), block(b), wedge(c), standing(a), standing(b), lying(c), leftof(a,b), supports(a,c), supports(b,c), marries(a,c), marries(c,a), marries(b,c), marries(c,b)]). specimen(arch3, [block(a), block(b), block(c), standing(a), standing(b), lying(c), leftof(a,b), supports(a,c), supports(b,c), abuts(a,c), abuts(c,a), abuts(b,c), abuts(c,b)]). /* Near Misses */ specimen(archn1, [block(a), block(b), block(c), standing(a), standing(b), lying(c), leftof(a,b), supports(a,c), supports(b,c), marries(a,c), marries(c,a), marries(b,c), marries(c,b), marries(a,b), marries(b,a)]). specimen(archn2, [block(a), block(b), block(c), standing(a), standing(b), lying(c), leftof(a,b), marries(a,c), marries(c,a), marries(b,c), marries(c,b)]). specimen(archn3, [block(a), block(b), block(c), standing(a), standing(b), lying(c), leftof(a,b)]). --------