230_a_dick_1952
We don't know what we would be getting into.
( (IP-MAT (NP-SBJ;{DORLE+NASHA+TANCE} (PRO We;{we}))
(DOP do;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Tw_ know;{know})
(CP-QUE-OB1 (IP-SUB (NP-190 (WPRO what;{what}))
(NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (BE;_cat_Vg_ be;{be})
(IP-PPL-CAT (VAG;_Ipr_ getting;{get[into]})
(PP-CLR (P-ROLE into;{into})
(NP *ICH*-190))))))
(PUNC .))
(ID 230_a_dick_1952))
arc(r_0230_0002__do_r_0230_0004__know,r_0230_0001__We,arg0).
arc(r_0230_0002__do_r_0230_0004__know,r_0230_0007__would,arg1).
arc(r_0230_0003__n_apos_t,r_0230_0002__do_r_0230_0004__know,keep_scope).
arc(r_0230_0007__would,r_0230_0008__be,scope).
arc(r_0230_0008__be,r_0230_0009__getting_r_0230_0010__into,scope).
arc(r_0230_0009__getting_r_0230_0010__into,r_0230_0001__We,arg0).
arc(r_0230_0009__getting_r_0230_0010__into,r_0230_0005__what,arg1).
fof(formula,axiom,
~ ? [R_0230_0001__WE,R_0230_0005__WHAT,R_0230_0007__WOULD_R_0230_0008__BE_R_0230_0009__GETTING_R_0230_0010__INTO,R_0230_0002__DO_R_0230_0004__KNOW] :
( r_0230_0001__We(R_0230_0001__WE)
& r_0230_0005__what(R_0230_0005__WHAT)
& r_0230_0002__do_r_0230_0004__know(R_0230_0002__DO_R_0230_0004__KNOW)
& has_arg1(R_0230_0002__DO_R_0230_0004__KNOW,R_0230_0007__WOULD_R_0230_0008__BE_R_0230_0009__GETTING_R_0230_0010__INTO)
& r_0230_0007__would_r_0230_0008__be_r_0230_0009__getting_r_0230_0010__into(R_0230_0007__WOULD_R_0230_0008__BE_R_0230_0009__GETTING_R_0230_0010__INTO)
& has_arg1(R_0230_0007__WOULD_R_0230_0008__BE_R_0230_0009__GETTING_R_0230_0010__INTO,R_0230_0005__WHAT)
& has_arg0(R_0230_0007__WOULD_R_0230_0008__BE_R_0230_0009__GETTING_R_0230_0010__INTO,R_0230_0001__WE)
& has_arg0(R_0230_0002__DO_R_0230_0004__KNOW,R_0230_0001__WE) ) ).