1@0@10@-1@-1@-1@-1@107@-1@-1@(9 subj-head 0.0 0 2 (7 bare-np 0.0 0 1 (6 class1-inam-sg-morph-lex 0.0 0 1 (5 waagaakwad 0.0 0 1 ("WAAGAAKWAD" 0 1)))) (8 wii-giinboode 0.0 1 2 ("WII-GIINBOODE" 1 2)))@@("S" ("NP" ("N" ("N" ("Waagaakwad")))) ("VP" ("wii-giinboode")))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_axe_n_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 3SG PNG.GEND: INAM PNG.OBVIATION: PROXIMATE ] ] [ "exist_q_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_wants_sharpening_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ] > HCONS: < h6 qeq h3 > ]@((:ASCORE))
2@0@0@-1@-1@-1@-1@107@-1@-1@(9 head-subj 0.0 0 2 (5 baatiinad 0.0 0 1 ("BAATIINAD" 0 1)) (8 bare-np 0.0 1 2 (7 class1-inam-sg-morph-lex 0.0 1 2 (6 wiiyaas 0.0 1 2 ("WIIYAAS" 1 2)))))@@("S" ("VP" ("Baatiinad")) ("NP" ("N" ("N" ("wiiyaas")))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_is_abundant_v_rel" LBL: h1 ARG0: e2 ARG1: x3 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: INAM PNG.PERNUM: 3SG ] ] [ "_meat_n_rel" LBL: h4 ARG0: x3 ] [ "exist_q_rel" LBL: h5 ARG0: x3 RSTR: h6 BODY: h7 ] > HCONS: < h6 qeq h4 > ]@((:ASCORE))
3@0@0@-1@-1@-1@-1@107@-1@-1@(8 head-subj 0.0 0 2 (5 gii-zegzi 0.0 0 1 ("GII-ZEGZI" 0 1)) (7 bare-np 0.0 1 2 (6 nenbozh 0.0 1 2 ("NENBOZH" 1 2))))@@("S" ("VP" ("Gii-zegzi")) ("NP" ("N" ("Nenbozh"))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_frighten_v_rel" LBL: h1 ARG0: e2 ARG1: x3 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3SG ] ] [ "_Nenbozh_n_rel" LBL: h4 ARG0: x3 ] [ "exist_q_rel" LBL: h5 ARG0: x3 RSTR: h6 BODY: h7 ] > HCONS: < h6 qeq h4 > ]@((:ASCORE))
4@0@0@-1@-1@-1@-1@107@-1@-1@(8 subj-head 0.0 0 2 (6 bare-np 0.0 0 1 (5 nenbozh 0.0 0 1 ("NENBOZH" 0 1))) (7 gii-zegzi 0.0 1 2 ("GII-ZEGZI" 1 2)))@@("S" ("NP" ("N" ("Nenbozh"))) ("VP" ("gii-zegzi")))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_Nenbozh_n_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 3SG PNG.GEND: ANIM PNG.OBVIATION: PROXIMATE ] ] [ "exist_q_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_frighten_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ] > HCONS: < h6 qeq h3 > ]@((:ASCORE))
5@0@0@-1@-1@-1@-1@107@-1@-1@(9 head-subj 0.0 0 2 (5 ntaa-gshkigwaaso 0.0 0 1 ("NTAA-GSHKIGWAASO" 0 1)) (8 bare-np 0.0 1 2 (7 class2-anim-sg-morph-lex 0.0 1 2 (6 nnahaangnikwem 0.0 1 2 ("NNAHAANGNIKWEM" 1 2)))))@@("S" ("VP" ("Ntaa-gshkigwaaso")) ("NP" ("N" ("N" ("nnahaangnikwem")))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_good_at_sewing_v_rel" LBL: h1 ARG0: e2 ARG1: x3 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3SG ] ] [ "_my+daughter+in+law_n_rel" LBL: h4 ARG0: x3 ] [ "exist_q_rel" LBL: h5 ARG0: x3 RSTR: h6 BODY: h7 ] > HCONS: < h6 qeq h4 > ]@((:ASCORE))
6@0@0@-1@-1@-1@-1@134@-1@-1@(16 comp-head 0.0 0 3 (8 bare-np 0.0 0 1 (7 nenbozh 0.0 0 1 ("NENBOZH" 0 1))) (15 head-subj 0.0 1 3 (9 wgii-wwabmigoon 0.0 1 2 ("WGII-WWABMIGOON" 1 2)) (14 bare-np 0.0 2 3 (13 class2-anim-sg-morph-lex 0.0 2 3 (12 nnahaangnikwem 0.0 2 3 ("NNAHAANGNIKWEM" 2 3))))))@@("S" ("NP" ("N" ("Nenbozh"))) ("V" ("V" ("wgii-wwabmigoon")) ("NP" ("N" ("N" ("nnahaangnikwem"))))))@[ LTOP: h1 INDEX: e2 [ e SORT: SEMSORT SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD ] RELS: < [ "_Nenbozh_n_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT PNG.PERNUM: 3SG PNG.GEND: ANIM PNG.OBVIATION: OBIVATIVE COG-ST: COG-ST SPECI: BOOL ] ] [ "exist_q_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_see_v_rel" LBL: h1 ARG0: e2 ARG1: x8 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 3SG PNG.GEND: ANIM PNG.OBVIATION: PROXIMATE ] ARG2: x4 ] [ "_my+daughter+in+law_n_rel" LBL: h9 ARG0: x8 ] [ "exist_q_rel" LBL: h10 ARG0: x8 RSTR: h11 BODY: h12 ] > HCONS: < h6 qeq h3 h11 qeq h9 > ]@((:ASCORE))
7@0@0@-1@-1@-1@-1@135@-1@-1@(21 subj-head 0.0 0 4 (12 bare-np 0.0 0 1 (11 class2-anim-sg-morph-lex 0.0 0 1 (10 nmamaa 0.0 0 1 ("NMAMAA" 0 1)))) (20 head-comp 0.0 1 4 (13 gii-zhitoonan 0.0 1 2 ("GII-ZHITOONAN" 1 2)) (19 head-spec 0.0 2 4 (15 maamin 0.0 2 3 ("MAAMIN" 2 3)) (17 class1-inam-pl-morph-suffix 0.0 3 4 (16 jiimaan 0.0 3 4 ("JIIMAAN" 3 4))))))@@("S" ("NP" ("N" ("N" ("Nmamaa")))) ("VP" ("V" ("gii-zhitoonan")) ("NP" ("D" ("maamin")) ("N" ("N" ("jiimaan-an"))))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_my+mother_n_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 3SG PNG.GEND: ANIM PNG.OBVIATION: PROXIMATE ] ] [ "exist_q_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_made_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ARG2: x8 [ x SORT: SEMSORT PNG.PERNUM: 3PL PNG.GEND: INAM PNG.OBVIATION: PROXIMATE COG-ST: COG-ST SPECI: BOOL ] ] [ "_these_det_rel" LBL: h9 ARG0: x8 RSTR: h10 BODY: h11 ] [ "_boat_n_rel" LBL: h12 ARG0: x8 ] > HCONS: < h6 qeq h3 h10 qeq h12 > ]@((:ASCORE))
8@0@0@-1@-1@-1@-1@107@-1@-1@(13 head-subj 0.0 0 3 (7 gii-yaawag-sh 0.0 0 1 ("GII-YAAWAG-SH" 0 1)) (12 head-spec 0.0 1 3 (8 giwi 0.0 1 2 ("GIWI" 1 2)) (10 class3-anim-pl-morph-suffix 0.0 2 3 (9 kwe 0.0 2 3 ("KWE" 2 3)))))@@("S" ("VP" ("Gii-yaawag-sh")) ("NP" ("D" ("giwi")) ("N" ("N" ("kwe-wag")))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_is_there_v_rel" LBL: h1 ARG0: e2 ARG1: x3 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3PL ] ] [ "_those_det_rel" LBL: h4 ARG0: x3 RSTR: h5 BODY: h6 ] [ "_woman_n_rel" LBL: h7 ARG0: x3 ] > HCONS: < h5 qeq h7 > ]@((:ASCORE))
9@0@0@-1@-1@-1@-1@107@-1@-1@(13 subj-head 0.0 0 3 (11 head-spec 0.0 0 2 (7 maaba 0.0 0 1 ("MAABA" 0 1)) (9 class2-anim-sg-morph-lex 0.0 1 2 (8 nishnaabe 0.0 1 2 ("NISHNAABE" 1 2)))) (12 moonshkwed 0.0 2 3 ("MOONSHKWED" 2 3)))@@("S" ("NP" ("D" ("Maaba")) ("N" ("N" ("nishnaabe")))) ("VP" ("moonshkwed")))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_this_det_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3SG COG-ST: COG-ST SPECI: BOOL ] RSTR: h5 BODY: h6 ] [ "_Indian_n_rel" LBL: h7 ARG0: x4 ] [ "_weed_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ] > HCONS: < h5 qeq h7 > ]@((:ASCORE))
11@0@0@-1@-1@-1@-1@135@-1@-1@(18 subj-head 0.0 0 4 (10 bare-np 0.0 0 1 (9 niin 0.0 0 1 ("NIIN" 0 1))) (17 comp-head 0.0 1 4 (15 head-spec 0.0 1 3 (11 giwi 0.0 1 2 ("GIWI" 1 2)) (13 class3-anim-pl-morph-suffix 0.0 2 3 (12 kwe 0.0 2 3 ("KWE" 2 3)))) (16 nwii-gnawenmaag 0.0 3 4 ("NWII-GNAWENMAAG" 3 4))))@@("S" ("NP" ("N" ("Niin"))) ("VP" ("NP" ("D" ("giwi")) ("N" ("N" ("kwe-wag")))) ("V" ("nwii-gnawenmaag"))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_I_prn_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 1SG PNG.GEND: ANIM PNG.OBVIATION: OBVIATION ] ] [ "exist_q_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_those_det_rel" LBL: h8 ARG0: x9 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3PL ] RSTR: h10 BODY: h11 ] [ "_woman_n_rel" LBL: h12 ARG0: x9 ] [ "_take_charge_of_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ARG2: x9 ] > HCONS: < h6 qeq h3 h10 qeq h12 > ]@((:ASCORE))
12@0@0@-1@-1@-1@-1@107@-1@-1@(8 subj-head 0.0 0 2 (6 bare-np 0.0 0 1 (5 giin 0.0 0 1 ("GIIN" 0 1))) (7 ggii-mmaazhiiwii 0.0 1 2 ("GGII-MMAAZHIIWII" 1 2)))@@("S" ("NP" ("N" ("Giin"))) ("VP" ("ggii-mmaazhiiwii")))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_you_prn_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 2SG PNG.GEND: ANIM PNG.OBVIATION: OBVIATION ] ] [ "exist_q_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_do_poorly_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ] > HCONS: < h6 qeq h3 > ]@((:ASCORE))
13@0@0@-1@-1@-1@-1@135@-1@-1@(23 head-subj 0.0 0 5 (17 head-comp 0.0 0 3 (11 wjiigdahaan 0.0 0 1 ("WJIIGDAHAAN" 0 1)) (16 head-spec 0.0 1 3 (12 wi 0.0 1 2 ("WI" 1 2)) (14 class1-inam-sg-morph-lex 0.0 2 3 (13 wiigwaam 0.0 2 3 ("WIIGWAAM" 2 3))))) (22 head-spec 0.0 3 5 (18 wa 0.0 3 4 ("WA" 3 4)) (20 class3-anim-sg-morph-lex 0.0 4 5 (19 kwe 0.0 4 5 ("KWE" 4 5)))))@@("S" ("VP" ("V" ("Wjiigdahaan")) ("NP" ("D" ("wi")) ("N" ("N" ("wiigwaam"))))) ("NP" ("D" ("wa")) ("N" ("N" ("kwe")))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_sweeps_out_v_rel" LBL: h1 ARG0: e2 ARG1: x3 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 3SG PNG.GEND: ANIM PNG.OBVIATION: PROXIMATE ] ARG2: x4 [ x SORT: SEMSORT PNG.PERNUM: 3SG PNG.GEND: INAM PNG.OBVIATION: PROXIMATE COG-ST: COG-ST SPECI: BOOL ] ] [ "_that_det_rel" LBL: h5 ARG0: x4 RSTR: h6 BODY: h7 ] [ "_house_n_rel" LBL: h8 ARG0: x4 ] [ "_that_det_rel" LBL: h9 ARG0: x3 RSTR: h10 BODY: h11 ] [ "_woman_n_rel" LBL: h12 ARG0: x3 ] > HCONS: < h6 qeq h8 h10 qeq h12 > ]@((:ASCORE))
17@0@0@-1@-1@-1@-1@107@-1@-1@(13 head-subj 0.0 0 3 (7 gii-maajaad 0.0 0 1 ("GII-MAAJAAD" 0 1)) (12 head-spec 0.0 1 3 (8 bezhig 0.0 1 2 ("BEZHIG" 1 2)) (10 class2-anim-sg-morph-lex 0.0 2 3 (9 nishnaabe 0.0 2 3 ("NISHNAABE" 2 3)))))@@("S" ("VP" ("Gii-maajaad")) ("NP" ("D" ("bezhig")) ("N" ("N" ("nishnaabe")))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_leave_v_rel" LBL: h1 ARG0: e2 ARG1: x3 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3SG ] ] [ "_one_det_rel" LBL: h4 ARG0: x3 RSTR: h5 BODY: h6 ] [ "_Indian_n_rel" LBL: h7 ARG0: x3 ] > HCONS: < h5 qeq h7 > ]@((:ASCORE))
19@0@10@-1@-1@-1@-1@134@-1@-1@(27 comp-head 0.0 0 5 (15 head-spec 0.0 0 2 (11 giwi 0.0 0 1 ("GIWI" 0 1)) (13 class1-anim-pl-morph-suffix 0.0 1 2 (12 binoojiinh 0.0 1 2 ("BINOOJIINH" 1 2)))) (26 head-subj 0.0 2 5 (16 gii-nsaawaad 0.0 2 3 ("GII-NSAAWAAD" 2 3)) (25 head-spec 0.0 3 5 (21 nswi 0.0 3 4 ("NSWI" 3 4)) (23 class2-anim-pl-morph-suffix 0.0 4 5 (22 bezhgoognzhii 0.0 4 5 ("BEZHGOOGNZHII" 4 5))))))@@("S" ("NP" ("D" ("Giwi")) ("N" ("N" ("binoojiinh-ag")))) ("V" ("V" ("gii-nsaawaad")) ("NP" ("D" ("nswi")) ("N" ("N" ("bezhgoognzhii-g"))))))@[ LTOP: h1 INDEX: e2 [ e SORT: SEMSORT SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD ] RELS: < [ "_those_det_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3PL ] RSTR: h5 BODY: h6 ] [ "_child_n_rel" LBL: h7 ARG0: x4 ] [ "_kill_v_rel" LBL: h1 ARG0: e2 ARG1: x8 [ x SORT: SEMSORT SPECI: BOOL COG-ST: COG-ST PNG.PERNUM: 3PL PNG.GEND: ANIM PNG.OBVIATION: PROXIMATE ] ARG2: x4 ] [ "_three_det_rel" LBL: h9 ARG0: x8 RSTR: h10 BODY: h11 ] [ "_horse_n_rel" LBL: h12 ARG0: x8 ] > HCONS: < h5 qeq h7 h10 qeq h12 > ]@((:ASCORE))
19@1@10@-1@-1@-1@-1@135@-1@-1@(30 subj-head 0.0 0 5 (15 head-spec 0.0 0 2 (11 giwi 0.0 0 1 ("GIWI" 0 1)) (13 class1-anim-pl-morph-suffix 0.0 1 2 (12 binoojiinh 0.0 1 2 ("BINOOJIINH" 1 2)))) (29 head-comp 0.0 2 5 (16 gii-nsaawaad 0.0 2 3 ("GII-NSAAWAAD" 2 3)) (25 head-spec 0.0 3 5 (21 nswi 0.0 3 4 ("NSWI" 3 4)) (23 class2-anim-pl-morph-suffix 0.0 4 5 (22 bezhgoognzhii 0.0 4 5 ("BEZHGOOGNZHII" 4 5))))))@@("S" ("NP" ("D" ("Giwi")) ("N" ("N" ("binoojiinh-ag")))) ("VP" ("V" ("gii-nsaawaad")) ("NP" ("D" ("nswi")) ("N" ("N" ("bezhgoognzhii-g"))))))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_those_det_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3PL COG-ST: COG-ST SPECI: BOOL ] RSTR: h5 BODY: h6 ] [ "_child_n_rel" LBL: h7 ARG0: x4 ] [ "_kill_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ARG2: x8 [ x SORT: SEMSORT PNG.PERNUM: 3PL PNG.GEND: ANIM PNG.OBVIATION: PROXIMATE COG-ST: COG-ST SPECI: BOOL ] ] [ "_three_det_rel" LBL: h9 ARG0: x8 RSTR: h10 BODY: h11 ] [ "_horse_n_rel" LBL: h12 ARG0: x8 ] > HCONS: < h5 qeq h7 h10 qeq h12 > ]@((:ASCORE))
20@0@0@-1@-1@-1@-1@107@-1@-1@(13 subj-head 0.0 0 3 (11 head-spec 0.0 0 2 (7 maaba 0.0 0 1 ("MAABA" 0 1)) (9 class1-anim-sg-morph-lex 0.0 1 2 (8 waagosh 0.0 1 2 ("WAAGOSH" 1 2)))) (12 waannose 0.0 2 3 ("WAANNOSE" 2 3)))@@("S" ("NP" ("D" ("Maaba")) ("N" ("N" ("waagosh")))) ("VP" ("waannose")))@[ LTOP: h1 INDEX: e2 [ e SF: PROP-OR-QUES E.TENSE: TENSE E.ASPECT: ASPECT E.MOOD: MOOD SORT: SEMSORT ] RELS: < [ "_this_det_rel" LBL: h3 ARG0: x4 [ x SORT: SEMSORT PNG.OBVIATION: PROXIMATE PNG.GEND: ANIM PNG.PERNUM: 3SG COG-ST: COG-ST SPECI: BOOL ] RSTR: h5 BODY: h6 ] [ "_fox_n_rel" LBL: h7 ARG0: x4 ] [ "_walk_in_a_circle_v_rel" LBL: h1 ARG0: e2 ARG1: x4 ] > HCONS: < h5 qeq h7 > ]@((:ASCORE))
