[(: (W (gene x)) (gene x)), (: (W (gene z)) (gene z)), (: (W (gene y)) (gene y)), (: (W (gene w)) (gene w)), (: (W (sequence_variant rs999)) (sequence_variant rs999)), (: (W (sequence_variant rs1000)) (sequence_variant rs1000)), (: (W (tad chr16_1000_2000_GRCh38)) (tad chr16_1000_2000_GRCh38))]
[(: (W = $t $t) (= (= $t $t))), (: (W = $X#236 $X#236) (= (= $X#236 $X#236))), (: (W = $t $t) (= (= $t $t))), (: (W = unified unified) (= (= unified unified))), (: (W : Error (-> Atom Atom ErrorType)) (: (: Error (-> Atom Atom ErrorType)))), (: (W : empty (-> %Undefined%)) (: (: empty (-> %Undefined%)))), (: (W : unify-or-empty (-> Atom Atom Atom)) (: (: unify-or-empty (-> Atom Atom Atom)))), (: (W : unify (-> Atom Atom Atom Atom %Undefined%)) (: (: unify (-> Atom Atom Atom Atom %Undefined%)))), (: (W : quote (-> Atom Atom)) (: (: quote (-> Atom Atom)))), (: (W : if (-> Bool Atom Atom $t#106)) (: (: if (-> Bool Atom Atom $t#106)))), (: (W rsid (sequence_variant rs1000) rs1000) (rsid (rsid (sequence_variant rs1000) rs1000))), (: (W pos (sequence_variant rs1000) 1200) (pos (pos (sequence_variant rs1000) 1200))), (: (W in-tad (tad chr16_1000_2000_GRCh38) (gene w)) (in-tad (in-tad (tad chr16_1000_2000_GRCh38) (gene w)))), (: (W alt (sequence_variant rs1000) C) (alt (alt (sequence_variant rs1000) C))), (: (W ref (sequence_variant rs1000) A) (ref (ref (sequence_variant rs1000) A))), (: (W chr (sequence_variant rs1000) chr16) (chr (chr (sequence_variant rs1000) chr16)))]
0.23user 0.00system 0:00.24elapsed 100%CPU (0avgtext+0avgdata 33832maxresident)k
0inputs+0outputs (0major+3647minor)pagefaults 0swaps