(bc-rec (: ($prfabs#144 $prfarg#145) (member $g $o $k)) (S (S (S Z))))
(bc-rec (: ($prfabs#238 $prfarg#239) (-> $prms#148 (member $g $o $k))) (S (S Z)))
(bc-rec (: ($prfabs#328 $prfarg#329) (-> $prms#242 (-> $prms#148 (member $g $o $k)))) (S Z))
(bc-base (: $prfabs#328 (-> $prms#332 (-> $prms#242 (-> $prms#148 (member $g $o $k))))))
(bc-base (: $prfabs#238 (-> $prms#242 (-> $prms#148 (member $g $o $k)))))
(bc-base-ground (: go-level (-> (go_parent (ontology_term $o#467) (ontology_term $x#468)) (-> (member (gene $g#469) (ontology_term $x#468) $k#470) (member (gene $g#469) (ontology_term $o#467) (S $k#470))))))
(bc-rec (: ($prfabs#661 $prfarg#662) (go_parent (ontology_term $o#467) (ontology_term $x#468))) (S Z))
(bc-base (: $prfabs#661 (-> $prms#665 (go_parent (ontology_term $o#467) (ontology_term $x#468)))))
(bc-base (: $prfarg#239 (go_parent (ontology_term $o#467) (ontology_term $x#468))))
(bc-base-ground (: go_parent-d-c (go_parent (ontology_term d) (ontology_term c))))
(bc-base-ground (: go_parent-c-b (go_parent (ontology_term c) (ontology_term b))))
(bc-base (: $prfabs#144 (-> $prms#148 (member $g $o $k))))
(bc-base-ground (: go-level (-> (go_gene (ontology_term $o#1060) (gene $g#1061)) (member (gene $g#1061) (ontology_term $o#1060) Z))))
(bc-rec (: ($prfabs#1209 $prfarg#1210) (member (gene $g#469) (ontology_term c) $k#470)) (S (S Z)))
(bc-rec (: ($prfabs#1311 $prfarg#1312) (-> $prms#1213 (member (gene $g#469) (ontology_term c) $k#470))) (S Z))
(bc-base (: $prfabs#1311 (-> $prms#1315 (-> $prms#1213 (member (gene $g#469) (ontology_term c) $k#470)))))
(bc-base-ground (: go-level (-> (go_parent (ontology_term c) (ontology_term $x#1446)) (-> (member (gene $g#469) (ontology_term $x#1446) $k#1448) (member (gene $g#469) (ontology_term c) (S $k#1448))))))
(bc-base (: $prfarg#1312 (go_parent (ontology_term c) (ontology_term $x#1446))))
(bc-base-ground (: go_parent-c-b (go_parent (ontology_term c) (ontology_term b))))
(bc-base (: $prfabs#1209 (-> $prms#1213 (member (gene $g#469) (ontology_term c) $k#470))))
(bc-base-ground (: go-level (-> (go_gene (ontology_term c) (gene $g#469)) (member (gene $g#469) (ontology_term c) Z))))
(bc-rec (: ($prfabs#1945 $prfarg#1946) (member (gene $g#469) (ontology_term b) $k#1448)) (S Z))
(bc-base (: $prfabs#1945 (-> $prms#1949 (member (gene $g#469) (ontology_term b) $k#1448))))
(bc-base-ground (: go-level (-> (go_gene (ontology_term b) (gene $g#469)) (member (gene $g#469) (ontology_term b) Z))))
(bc-base (: $prfarg#1946 (go_gene (ontology_term b) (gene $g#469))))
(bc-base-ground (: go_gene-b-g (go_gene (ontology_term b) (gene g))))
(bc-base (: $prfarg#1210 (member (gene $g#469) (ontology_term b) $k#1448)))
(bc-rec (: ($prfabs#2461 $prfarg#2462) (go_gene (ontology_term c) (gene $g#469))) (S Z))
(bc-base (: $prfabs#2461 (-> $prms#2465 (go_gene (ontology_term c) (gene $g#469)))))
(bc-base (: $prfarg#1210 (go_gene (ontology_term c) (gene $g#469))))
(bc-base (: $prfarg#145 (member (gene $g#469) (ontology_term c) $k#470)))
(bc-rec (: ($prfabs#2774 $prfarg#2775) (member (gene $g#469) (ontology_term b) $k#470)) (S (S Z)))
(bc-rec (: ($prfabs#2876 $prfarg#2877) (-> $prms#2778 (member (gene $g#469) (ontology_term b) $k#470))) (S Z))
(bc-base (: $prfabs#2876 (-> $prms#2880 (-> $prms#2778 (member (gene $g#469) (ontology_term b) $k#470)))))
(bc-base-ground (: go-level (-> (go_parent (ontology_term b) (ontology_term $x#3011)) (-> (member (gene $g#469) (ontology_term $x#3011) $k#3013) (member (gene $g#469) (ontology_term b) (S $k#3013))))))
(bc-base (: $prfarg#2877 (go_parent (ontology_term b) (ontology_term $x#3011))))
(bc-base (: $prfabs#2774 (-> $prms#2778 (member (gene $g#469) (ontology_term b) $k#470))))
(bc-base-ground (: go-level (-> (go_gene (ontology_term b) (gene $g#469)) (member (gene $g#469) (ontology_term b) Z))))
(bc-rec (: ($prfabs#3396 $prfarg#3397) (go_gene (ontology_term b) (gene $g#469))) (S Z))
(bc-base (: $prfabs#3396 (-> $prms#3400 (go_gene (ontology_term b) (gene $g#469)))))
(bc-base (: $prfarg#2775 (go_gene (ontology_term b) (gene $g#469))))
(bc-base-ground (: go_gene-b-g (go_gene (ontology_term b) (gene g))))
(bc-base (: $prfarg#145 (member (gene $g#469) (ontology_term b) $k#470)))
(bc-rec (: ($prfabs#3758 $prfarg#3759) (go_gene (ontology_term $o#1060) (gene $g#1061))) (S (S Z)))
(bc-rec (: ($prfabs#3856 $prfarg#3857) (-> $prms#3762 (go_gene (ontology_term $o#1060) (gene $g#1061)))) (S Z))
(bc-base (: $prfabs#3856 (-> $prms#3860 (-> $prms#3762 (go_gene (ontology_term $o#1060) (gene $g#1061))))))
(bc-base (: $prfabs#3758 (-> $prms#3762 (go_gene (ontology_term $o#1060) (gene $g#1061)))))
(bc-base (: $prfarg#145 (go_gene (ontology_term $o#1060) (gene $g#1061))))
(bc-base-ground (: go_gene-b-g (go_gene (ontology_term b) (gene g))))
(bc-base-ground (: go_gene-a-g (go_gene (ontology_term a) (gene g))))
(bc-base (: $prf (member $g $o $k)))
[()]
[()]
[(: ((go-level go_parent-d-c) ((go-level go_parent-c-b) (go-level go_gene-b-g))) (member (gene g) (ontology_term d) (S (S Z)))), (: ((go-level go_parent-c-b) (go-level go_gene-b-g)) (member (gene g) (ontology_term c) (S Z))), (: (go-level go_gene-b-g) (member (gene g) (ontology_term b) Z)), (: (go-level go_gene-a-g) (member (gene g) (ontology_term a) Z))]
[(bc_impl! (: $prf (member $g $o $k)) (S (S (S Z))))]
1.36user 0.01system 0:01.37elapsed 100%CPU (0avgtext+0avgdata 38288maxresident)k
0inputs+0outputs (0major+4677minor)pagefaults 0swaps