/*arch1.prb Winston arch domain Alan Bundy 5.12.80 use with winston version with functions */ /* description trees */ 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 and near misses */ specimen(arch1, [block(lp(a)), block(rp(a)), block(tm(a)), standing(lp(a)), standing(rp(a)), lying(tm(a)), leftof(lp(a),rp(a)), supports(lp(a),tm(a)), supports(rp(a),tm(a)), marries(lp(a),tm(a)), marries(rp(a),tm(a)) ] ). specimen(arch2, [block(lp(a)), block(rp(a)), wedge(tm(a)), standing(lp(a)), standing(rp(a)), lying(tm(a)), leftof(lp(a),rp(a)), supports(lp(a),tm(a)), supports(rp(a),tm(a)), marries(lp(a),tm(a)), marries(rp(a),tm(a)) ] ). specimen(arch3, [block(lp(a)), block(rp(a)), block(tm(a)), standing(lp(a)), standing(rp(a)), lying(tm(a)), leftof(lp(a),rp(a)), supports(lp(a),tm(a)), supports(rp(a),tm(a)), abuts(lp(a),tm(a)), abuts(rp(a),tm(a)) ] ). specimen(archn1, [block(lp(a)), block(rp(a)), block(tm(a)), standing(lp(a)), standing(rp(a)), lying(tm(a)), leftof(lp(a),rp(a)), supports(lp(a),tm(a)), supports(rp(a),tm(a)), marries(lp(a),tm(a)), marries(rp(a),tm(a)), marries(lp(a),rp(a)) ] ). specimen(archn2, [block(lp(a)), block(rp(a)), block(tm(a)), standing(lp(a)), standing(rp(a)), lying(tm(a)), leftof(lp(a),rp(a)), marries(lp(a),tm(a)), marries(rp(a),tm(a)) ] ). specimen(archn3, [block(lp(a)), block(rp(a)), block(tm(a)), standing(lp(a)), standing(rp(a)), lying(tm(a)), leftof(lp(a),rp(a))]).