450_a_dick_1952
“I think we can get through.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{DORLE} (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_Ip_ get;{get[through]})
(RP through;{through}))))
(PUNC .))
(ID 450_a_dick_1952))
arc(r_0450_0003__think,r_0450_0002__I,arg0).
arc(r_0450_0003__think,r_0450_0005__can,arg1).
arc(r_0450_0005__can,r_0450_0006__get_r_0450_0007__through,scope).
arc(r_0450_0006__get_r_0450_0007__through,r_0450_0004__we,arg0).
fof(formula,axiom,
? [R_0450_0002__I,R_0450_0004__WE,R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH,R_0450_0003__THINK] :
( r_0450_0002__I(R_0450_0002__I)
& r_0450_0004__we(R_0450_0004__WE)
& r_0450_0003__think(R_0450_0003__THINK)
& has_arg1(R_0450_0003__THINK,R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH)
& r_0450_0005__can_r_0450_0006__get_r_0450_0007__through(R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH)
& has_arg0(R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH,R_0450_0004__WE)
& has_arg0(R_0450_0003__THINK,R_0450_0002__I) ) ).