7_a_fce_0102_2001_12
I know you went on a river trip with your English class recently.
arc(r_0007_0002__know, r_0007_0001__I, arg0).
arc(r_0007_0002__know, r_0007_0004__went, arg1).
arc(r_0007_0004__went, r_0007_0003__you, arg0).
arc(r_0007_0004__went, r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip, r_0007_0005__on_clr17).
arc(r_0007_0004__went, r_0007_0012__class, r_0007_0009__with_nim27).
arc(r_0007_0004__went, r_0007_0013__recently, nim36).
arc(r_0007_0012__class, r_0007_0003__you, gen).
arc(r_0007_0012__class, r_0007_0011__English, attrib31).
fof(formula,axiom,
? [R_0007_0001__I,R_0007_0003__YOU,R_0007_0006__A_R_0007_0007__RIVER_R_0007_0008__TRIP,R_0007_0011__ENGLISH,R_0007_0012__CLASS,R_0007_0013__RECENTLY,R_0007_0004__WENT,R_0007_0002__KNOW] :
( r_0007_0001__I(R_0007_0001__I)
& r_0007_0003__you(R_0007_0003__YOU)
& r_0007_0006__a_r_0007_0007__river_r_0007_0008__trip(R_0007_0006__A_R_0007_0007__RIVER_R_0007_0008__TRIP)
& r_0007_0011__English(R_0007_0011__ENGLISH)
& r_0007_0013__recently(R_0007_0013__RECENTLY)
& r_0007_0002__know(R_0007_0002__KNOW)
& has_arg1(R_0007_0002__KNOW,R_0007_0004__WENT)
& r_0007_0004__went(R_0007_0004__WENT)
& has_nim36(R_0007_0004__WENT,R_0007_0013__RECENTLY)
& has_r_0007_0009__with_nim27(R_0007_0004__WENT,R_0007_0012__CLASS)
& r_0007_0012__class(R_0007_0012__CLASS)
& has_attrib31(R_0007_0012__CLASS,R_0007_0011__ENGLISH)
& has_gen(R_0007_0012__CLASS,R_0007_0003__YOU)
& has_r_0007_0005__on_clr17(R_0007_0004__WENT,R_0007_0006__A_R_0007_0007__RIVER_R_0007_0008__TRIP)
& has_arg0(R_0007_0004__WENT,R_0007_0003__YOU)
& has_arg0(R_0007_0002__KNOW,R_0007_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ know;{know})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
(VBD;_Ipr_ went;{go[on]})
(PP-CLR (P-ROLE on;{on})
(NP;{RIVER_TRIP} (D a;{a})
(N river;{river})
(N trip;{trip})))
(PP-NIM (P-ROLE with;{with})
(NP (NP-GEN (PRO;_genm_ your;{your}))
(ADJP (ADJ English;{english}))
(N class;{class})))
(ADVP-NIM (ADV recently;{recently}))))
(PUNC .))
(ID 7_a_fce_0102_2001_12))