548_a_dick_1952
Isn't that right?”
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
(NEG;_clitic_ n<apos>t;{not})
(NP-SBJ (D;_nphd_ that;{that}))
(ADJP-PRD (ADJ right;{right})))
(PUNC ?)
(PURQ <rdquo>))
(ID 548_a_dick_1952))
arc(r_0548_0001__Is,r_0548_0003__that,arg0).
arc(r_0548_0001__Is,r_0548_0004__right,prd).
arc(r_0548_0002__n_apos_t,r_0548_0001__Is,keep_scope).
fof(formula,axiom,
~ ? [R_0548_0003__THAT,R_0548_0004__RIGHT,R_0548_0001__IS] :
( r_0548_0003__that(R_0548_0003__THAT)
& r_0548_0004__right(R_0548_0004__RIGHT)
& r_0548_0001__Is(R_0548_0001__IS)
& has_prd(R_0548_0001__IS,R_0548_0004__RIGHT)
& has_arg0(R_0548_0001__IS,R_0548_0003__THAT) ) ).