548_a_dick_1952
Isn't that right?”

n548_a_dick_1952 n548_a_dick_1952__1_1_1_1 Is n548_a_dick_1952__1_1_2_1 n't n548_a_dick_1952__1_1_3_1_1 that n548_a_dick_1952__1_1_4_1_1 right n548_a_dick_1952__1_2_1 ? n548_a_dick_1952__1_3_1 <rdquo> n548_a_dick_1952__1 CP-QUE-MAT n548_a_dick_1952__1_1 IP-SUB n548_a_dick_1952__1->n548_a_dick_1952__1_1 n548_a_dick_1952__1_2 PUNC n548_a_dick_1952__1->n548_a_dick_1952__1_2 n548_a_dick_1952__1_3 PURQ n548_a_dick_1952__1->n548_a_dick_1952__1_3 n548_a_dick_1952__1_1_1 BEP;_La_ n548_a_dick_1952__1_1->n548_a_dick_1952__1_1_1 n548_a_dick_1952__1_1_2 NEG;_clitic_ n548_a_dick_1952__1_1->n548_a_dick_1952__1_1_2 n548_a_dick_1952__1_1_3 NP-SBJ n548_a_dick_1952__1_1->n548_a_dick_1952__1_1_3 n548_a_dick_1952__1_1_4 ADJP-PRD n548_a_dick_1952__1_1->n548_a_dick_1952__1_1_4 n548_a_dick_1952__1_1_1->n548_a_dick_1952__1_1_1_1 n548_a_dick_1952__1_1_2->n548_a_dick_1952__1_1_2_1 n548_a_dick_1952__1_1_3_1 D;_nphd_ n548_a_dick_1952__1_1_3->n548_a_dick_1952__1_1_3_1 n548_a_dick_1952__1_1_3_1->n548_a_dick_1952__1_1_3_1_1 n548_a_dick_1952__1_1_4_1 ADJ n548_a_dick_1952__1_1_4->n548_a_dick_1952__1_1_4_1 n548_a_dick_1952__1_1_4_1->n548_a_dick_1952__1_1_4_1_1 n548_a_dick_1952__1_2->n548_a_dick_1952__1_2_1 n548_a_dick_1952__1_3->n548_a_dick_1952__1_3_1
( (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))



%3 r_0548_0002__n_apos_t n't r_0548_0001__Is Is r_0548_0002__n_apos_t->r_0548_0001__Is [keep_scope] r_0548_0004__right right r_0548_0001__Is->r_0548_0004__right [prd] r_0548_0003__that that r_0548_0001__Is->r_0548_0003__that [arg0]
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).



%3 r_0548_0001__Is Is r_0548_0003__that that r_0548_0001__Is->r_0548_0003__that [arg0] r_0548_0004__right right r_0548_0001__Is->r_0548_0004__right [prd] r_0548_0002__n_apos_t n't 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) ) ).