=> (query what root)
ap_t-start 
=> (obj-all)
ip_t-start 
=> (obj-all circle)
gstart 
=> (obj text t10)
=> (obj text t9)
=> (obj text t8)
=> (obj text t7)
=> (obj text t6)
=> (obj line l14)
=> (obj line l13)
=> (obj line l12)
=> (obj line l11)
=> (obj circle c5)
=> (obj circle c4)
=> (obj circle c3)
=> (obj circle c2)
=> (obj circle c1)
<= (ready)
gobjlist-req 
gobjlist-req 
gobjlist-req 
gobjlist-req 
gobjlist-req 
=> (halt-req)
gclean-halt 
<= (halt-req)
=> (map apobj nul nul geomobj circle c5)
=> (map apobj nul nul geomobj circle c4)
=> (map apobj nul nul geomobj circle c3)
=> (map apobj nul nul geomobj circle c2)
=> (map apobj nul nul geomobj circle c1)
<= (ready)
ip_t-obj-name-map-init 
=> (map apobj node a geomobj circle c1)
<= (map apobj nul nul geomobj circle c1)
ip_t-obj-name-map-init 
=> (map apobj node b geomobj circle c2)
<= (map apobj nul nul geomobj circle c2)
ip_t-obj-name-map-init 
=> (map apobj node e geomobj circle c3)
<= (map apobj nul nul geomobj circle c3)
ip_t-obj-name-map-init 
=> (map apobj node c geomobj circle c4)
<= (map apobj nul nul geomobj circle c4)
ip_t-obj-name-map-init 
=> (map apobj node d geomobj circle c5)
<= (map apobj nul nul geomobj circle c5)
ip_t-apobj 
ip_t-apobj 
ip_t-apobj 
ip_t-apobj 
ip_t-apobj 
=> (halt-req)
ip_t-halt3 
<= (obj-all)
ip_t-halt 
<= (halt-req)
=> (apobj node a)
=> (apobj node b)
=> (apobj node e)
=> (apobj node c)
=> (apobj node d)
<= (ready)
ap_t-what-root 
=> (goal pred parent)
ap_t-interpret-pred 
=> (query pred parent)
ip_t-intp1 
=> (geom-q line-connect)
=> (geom-q up)
ip_t-inquire-to-geom0 
=> (query direction up nul)
gquery1 
=> (geom-fact direction up c1 c2)
gans2 
greason3 
=> (geom-fact direction down c2 c1)
gquery1 
gquery1 
=> (geom-fact direction up c1 c3)
gans2 
greason3 
=> (geom-fact direction down c3 c1)
gquery1 
gquery1 
=> (geom-fact direction up c1 c4)
gans2 
greason3 
=> (geom-fact direction down c4 c1)
gquery1 
gquery1 
=> (geom-fact direction up c1 c5)
gans2 
greason3 
=> (geom-fact direction down c5 c1)
gquery1 
gquery1 
gquery1 
gquery1 
=> (geom-fact direction up c2 c4)
gans2 
greason3 
=> (geom-fact direction down c4 c2)
gquery1 
gquery1 
=> (geom-fact direction up c2 c5)
gans2 
greason3 
=> (geom-fact direction down c5 c2)
gquery1 
gquery1 
=> (geom-fact direction up c3 c4)
gans2 
greason3 
=> (geom-fact direction down c4 c3)
gquery1 
gquery1 
=> (geom-fact direction up c3 c5)
gans2 
greason3 
=> (geom-fact direction down c5 c3)
gquery1 
gquery1 
gquery1 
=> (halt-req)
gclean-halt1 
<= (query direction up nul)
gclean-halt 
<= (halt-req)
=> (geom-fact up c3 c5)
=> (geom-fact up c3 c4)
=> (geom-fact up c2 c5)
=> (geom-fact up c2 c4)
=> (geom-fact up c1 c5)
=> (geom-fact up c1 c4)
=> (geom-fact up c1 c3)
=> (geom-fact up c1 c2)
<= (geom-q up)
ip_t-inquire-to-geom 
=> (query line-connect nul)
grelation1 
=> (mquery line-connect c1 c2)
gmquery1 
=> (mquery touch l11 start c1 nul)
=> (mquery touch l11 start c2 nul)
=> (mquery touch l11 end c1 nul)
=> (mquery touch l11 end c2 nul)
=> (call-member touch l11 c1)
=> (call-member touch l11 c2)
gmquery2 
=> (geom-fact touch l11 end c2 nul)
<= (mquery touch l11 end c2 nul)
gmquery2 
<= (mquery touch l11 end c1 nul)
gmquery2 
<= (mquery touch l11 start c2 nul)
gmquery2 
=> (geom-fact touch l11 start c1 nul)
<= (mquery touch l11 start c1 nul)
greason 
=> (geom-fact line-connect c1 c2)
gans1 
greason0 
=> (geom-fact line-connect c2 c1)
gans1 
greason1 
=> (geom-fact lines-connect c2 c1 ary= c2 c1)
greason2 
=> (geom-fact lines-connect c1 c1 ary= c1)
greason00 
greason001 
<= (geom-fact lines-connect c1 c1 ary= c1)
greason00 
=> (geom-fact lines-connect c1 c2 ary= c1 c2)
greason2 
=> (geom-fact lines-connect c2 c2 ary= c2)
greason00 
greason001 
<= (geom-fact lines-connect c2 c2 ary= c2)
greason00 
greason1 
gmquery1 
=> (mquery touch l12 start c1 nul)
=> (mquery touch l12 start c2 nul)
=> (mquery touch l12 end c1 nul)
=> (mquery touch l12 end c2 nul)
=> (call-member touch l12 c1)
=> (call-member touch l12 c2)
gmquery2 
<= (mquery touch l12 end c2 nul)
gmquery2 
<= (mquery touch l12 end c1 nul)
gmquery2 
=> (geom-fact touch l12 start c2 nul)
<= (mquery touch l12 start c2 nul)
gmquery2 
<= (mquery touch l12 start c1 nul)
gmquery1 
=> (mquery touch l13 start c1 nul)
=> (mquery touch l13 start c2 nul)
=> (mquery touch l13 end c1 nul)
=> (mquery touch l13 end c2 nul)
=> (call-member touch l13 c1)
=> (call-member touch l13 c2)
gmquery2 
<= (mquery touch l13 end c2 nul)
gmquery2 
<= (mquery touch l13 end c1 nul)
gmquery2 
<= (mquery touch l13 start c2 nul)
gmquery2 
<= (mquery touch l13 start c1 nul)
gmquery1 
=> (mquery touch l14 start c1 nul)
=> (mquery touch l14 start c2 nul)
=> (mquery touch l14 end c1 nul)
=> (mquery touch l14 end c2 nul)
=> (call-member touch l14 c1)
=> (call-member touch l14 c2)
gmquery2 
<= (mquery touch l14 end c2 nul)
gmquery2 
=> (geom-fact touch l14 end c1 nul)
<= (mquery touch l14 end c1 nul)
gmquery2 
<= (mquery touch l14 start c2 nul)
gmquery2 
<= (mquery touch l14 start c1 nul)
grelation1 
=> (mquery line-connect c1 c3)
gmquery1.1a 
=> (mquery touch l14 start c3 nul)
=> (mquery touch l14 end c3 nul)
=> (call-member touch l14 c3)
gmquery2 
<= (mquery touch l14 end c3 nul)
gmquery2 
=> (geom-fact touch l14 start c3 nul)
<= (mquery touch l14 start c3 nul)
greason 
=> (geom-fact line-connect c3 c1)
greason2 
=> (geom-fact lines-connect c3 c2 ary= c3 c1 c2)
greason00 
=> (geom-fact lines-connect c2 c3 ary= c2 c1 c3)
greason2 
=> (geom-fact lines-connect c1 c3 ary= c1 c3)
greason2 
=> (geom-fact lines-connect c3 c3 ary= c3)
greason00 
greason001 
<= (geom-fact lines-connect c3 c3 ary= c3)
greason00 
=> (geom-fact lines-connect c3 c1 ary= c3 c1)
greason00 
greason00 
gans1 
greason0 
=> (geom-fact line-connect c1 c3)
greason2 
=> (geom-fact lines-connect c1 c1 ary= c1)
greason00 
greason001 
<= (geom-fact lines-connect c1 c1 ary= c1)
gans1 
greason1 
greason1 
gmquery1.1a 
=> (mquery touch l13 start c3 nul)
=> (mquery touch l13 end c3 nul)
=> (call-member touch l13 c3)
gmquery2 
=> (geom-fact touch l13 end c3 nul)
<= (mquery touch l13 end c3 nul)
gmquery2 
<= (mquery touch l13 start c3 nul)
gmquery1.1a 
=> (mquery touch l12 start c3 nul)
=> (mquery touch l12 end c3 nul)
=> (call-member touch l12 c3)
gmquery2 
<= (mquery touch l12 end c3 nul)
gmquery2 
<= (mquery touch l12 start c3 nul)
gmquery1.1a 
=> (mquery touch l11 start c3 nul)
=> (mquery touch l11 end c3 nul)
=> (call-member touch l11 c3)
gmquery2 
<= (mquery touch l11 end c3 nul)
gmquery2 
<= (mquery touch l11 start c3 nul)
grelation1 
=> (mquery line-connect c1 c4)
gmquery1.1a 
=> (mquery touch l14 start c4 nul)
=> (mquery touch l14 end c4 nul)
=> (call-member touch l14 c4)
gmquery2 
<= (mquery touch l14 end c4 nul)
gmquery2 
<= (mquery touch l14 start c4 nul)
gmquery1.1a 
=> (mquery touch l13 start c4 nul)
=> (mquery touch l13 end c4 nul)
=> (call-member touch l13 c4)
gmquery2 
<= (mquery touch l13 end c4 nul)
gmquery2 
<= (mquery touch l13 start c4 nul)
gmquery1.1a 
=> (mquery touch l12 start c4 nul)
=> (mquery touch l12 end c4 nul)
=> (call-member touch l12 c4)
gmquery2 
=> (geom-fact touch l12 end c4 nul)
<= (mquery touch l12 end c4 nul)
greason 
=> (geom-fact line-connect c2 c4)
gans1 
greason0 
=> (geom-fact line-connect c4 c2)
greason2 
=> (geom-fact lines-connect c4 c3 ary= c4 c2 c1 c3)
greason00 
=> (geom-fact lines-connect c3 c4 ary= c3 c1 c2 c4)
greason2 
=> (geom-fact lines-connect c1 c4 ary= c1 c2 c4)
greason2 
=> (geom-fact lines-connect c2 c4 ary= c2 c4)
greason2 
=> (geom-fact lines-connect c4 c4 ary= c4)
greason00 
greason001 
<= (geom-fact lines-connect c4 c4 ary= c4)
greason00 
=> (geom-fact lines-connect c4 c2 ary= c4 c2)
greason2 
=> (geom-fact lines-connect c2 c2 ary= c2)
greason00 
greason001 
<= (geom-fact lines-connect c2 c2 ary= c2)
greason00 
greason00 
=> (geom-fact lines-connect c4 c1 ary= c4 c2 c1)
greason00 
greason00 
gans1 
greason1 
greason1 
gmquery2 
<= (mquery touch l12 start c4 nul)
gmquery1.1a 
=> (mquery touch l11 start c4 nul)
=> (mquery touch l11 end c4 nul)
=> (call-member touch l11 c4)
gmquery2 
<= (mquery touch l11 end c4 nul)
gmquery2 
<= (mquery touch l11 start c4 nul)
grelation1 
=> (mquery line-connect c1 c5)
gmquery1.1a 
=> (mquery touch l14 start c5 nul)
=> (mquery touch l14 end c5 nul)
=> (call-member touch l14 c5)
gmquery2 
<= (mquery touch l14 end c5 nul)
gmquery2 
<= (mquery touch l14 start c5 nul)
gmquery1.1a 
=> (mquery touch l13 start c5 nul)
=> (mquery touch l13 end c5 nul)
=> (call-member touch l13 c5)
gmquery2 
<= (mquery touch l13 end c5 nul)
gmquery2 
=> (geom-fact touch l13 start c5 nul)
<= (mquery touch l13 start c5 nul)
greason 
=> (geom-fact line-connect c5 c3)
greason2 
=> (geom-fact lines-connect c5 c4 ary= c5 c3 c1 c2 c4)
greason00 
=> (geom-fact lines-connect c4 c5 ary= c4 c2 c1 c3 c5)
greason2 
=> (geom-fact lines-connect c2 c5 ary= c2 c1 c3 c5)
greason2 
=> (geom-fact lines-connect c1 c5 ary= c1 c3 c5)
greason2 
=> (geom-fact lines-connect c3 c5 ary= c3 c5)
greason2 
=> (geom-fact lines-connect c5 c5 ary= c5)
greason00 
greason001 
<= (geom-fact lines-connect c5 c5 ary= c5)
greason00 
=> (geom-fact lines-connect c5 c3 ary= c5 c3)
greason00 
greason00 
=> (geom-fact lines-connect c5 c1 ary= c5 c3 c1)
greason00 
greason00 
=> (geom-fact lines-connect c5 c2 ary= c5 c3 c1 c2)
greason00 
greason00 
gans1 
greason0 
=> (geom-fact line-connect c3 c5)
greason2 
=> (geom-fact lines-connect c3 c3 ary= c3)
greason00 
greason001 
<= (geom-fact lines-connect c3 c3 ary= c3)
gans1 
greason1 
greason1 
gmquery1.1a 
=> (mquery touch l12 start c5 nul)
=> (mquery touch l12 end c5 nul)
=> (call-member touch l12 c5)
gmquery2 
<= (mquery touch l12 end c5 nul)
gmquery2 
<= (mquery touch l12 start c5 nul)
gmquery1.1a 
=> (mquery touch l11 start c5 nul)
=> (mquery touch l11 end c5 nul)
=> (call-member touch l11 c5)
gmquery2 
<= (mquery touch l11 end c5 nul)
gmquery2 
<= (mquery touch l11 start c5 nul)
grelation1 
=> (mquery line-connect c2 c3)
grelation1 
=> (mquery line-connect c2 c5)
grelation1 
=> (mquery line-connect c3 c4)
grelation1 
=> (mquery line-connect c4 c5)
=> (halt-req)
gclean-halt2 
<= (mquery line-connect c4 c5)
gclean-halt2 
<= (mquery line-connect c3 c4)
gclean-halt2 
<= (mquery line-connect c2 c5)
gclean-halt2 
<= (mquery line-connect c2 c3)
gclean-halt2 
<= (mquery line-connect c1 c5)
gclean-halt2 
<= (mquery line-connect c1 c4)
gclean-halt2 
<= (mquery line-connect c1 c3)
gclean-halt2 
<= (mquery line-connect c1 c2)
gclean-halt1 
<= (query line-connect nul)
gclean-halt 
<= (halt-req)
=> (geom-fact line-connect c3 c5)
=> (geom-fact line-connect c5 c3)
=> (geom-fact line-connect c4 c2)
=> (geom-fact line-connect c2 c4)
=> (geom-fact line-connect c1 c3)
=> (geom-fact line-connect c3 c1)
=> (geom-fact line-connect c2 c1)
=> (geom-fact line-connect c1 c2)
<= (geom-q line-connect)
ip_t-intp2.3 
<= (geom-fact up c1 c2)
<= (geom-fact line-connect c1 c2)
ip_t-intp2.3 
<= (geom-fact up c1 c3)
<= (geom-fact line-connect c1 c3)
ip_t-intp2.3 
<= (geom-fact up c2 c4)
<= (geom-fact line-connect c2 c4)
ip_t-intp2.3 
<= (geom-fact up c3 c5)
<= (geom-fact line-connect c3 c5)
=> (halt-req)
ip_t-halt2 
<= (query pred parent)
ip_t-halt 
<= (halt-req)
=> (fact pred parent e d)
=> (fact pred parent b c)
=> (fact pred parent a e)
=> (fact pred parent a b)
=> (call-member parent)
<= (goal pred parent)
ap_t-brother 
=> (fact pred brothers b e)
ap_t-root 
=> (fact pred root-is a)
ap_t-what-func 
ap_t-root 
ap_t-leaf 
=> (fact pred leaf-is c)
ap_t-leaf 
=> (fact pred leaf-is d)
ap_t-reason2 
=> (fact pred ancestor a b)
ap_t-reason2.1 
=> (fact pred descendant b a)
ap_t-reason1.1 
=> (fact pred child b a)
ap_t-reason2 
=> (fact pred ancestor a e)
ap_t-reason2.1 
=> (fact pred descendant e a)
ap_t-reason1.1 
=> (fact pred child e a)
ap_t-reason2 
=> (fact pred ancestor b c)
ap_t-reason1 
=> (fact pred ancestor a c)
ap_t-reason2.1 
=> (fact pred descendant c a)
ap_t-reason2.1 
=> (fact pred descendant c b)
ap_t-reason1.1 
=> (fact pred child c b)
ap_t-reason2 
=> (fact pred ancestor e d)
ap_t-reason1 
=> (fact pred ancestor a d)
ap_t-reason2.1 
=> (fact pred descendant d a)
ap_t-reason2.1 
=> (fact pred descendant d e)
ap_t-reason1.1 
=> (fact pred child d e)
=> (halt-req)
ap_t-halt121 
<= (query what root)
ap_t-halt 
<= (halt-req)