312_a_dick_1952
“That's it, all right.”
arc(r_0312_0003___apos_s_r_0312_0006__all_right, r_0312_0002__That, arg0).
arc(r_0312_0003___apos_s_r_0312_0006__all_right, r_0312_0004__it, prd).
fof(formula,axiom,
? [R_0312_0002__THAT,R_0312_0004__IT,R_0312_0003___APOS_S_R_0312_0006__ALL_RIGHT] :
( r_0312_0002__That(R_0312_0002__THAT)
& r_0312_0004__it(R_0312_0004__IT)
& r_0312_0003___apos_s_r_0312_0006__all_right(R_0312_0003___APOS_S_R_0312_0006__ALL_RIGHT)
& has_prd(R_0312_0003___APOS_S_R_0312_0006__ALL_RIGHT,R_0312_0004__IT)
& has_arg0(R_0312_0003___APOS_S_R_0312_0006__ALL_RIGHT,R_0312_0002__THAT) ) ).
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ (D;_nphd_ That;{that}))
(BEP;_Ln_ <apos>s;{be})
(NP-PRD;{GUN} (PRO it;{it}))
(PUNC ,)
(REACT all_right)
(PUNC .)
(PURQ <rdquo>))
(ID 312_a_dick_1952))