Context                Previous, Next                Top


553_a_dick_1952
“That's right.

n553_a_dick_1952 n553_a_dick_1952__1_1_1 <ldquo> n553_a_dick_1952__1_2_1_1 That n553_a_dick_1952__1_3_1 's n553_a_dick_1952__1_4_1_1 right n553_a_dick_1952__1_5_1 . n553_a_dick_1952__1 IP-MAT n553_a_dick_1952__1_1 PULQ n553_a_dick_1952__1->n553_a_dick_1952__1_1 n553_a_dick_1952__1_2 NP-SBJ n553_a_dick_1952__1->n553_a_dick_1952__1_2 n553_a_dick_1952__1_3 BEP;_La_ n553_a_dick_1952__1->n553_a_dick_1952__1_3 n553_a_dick_1952__1_4 ADJP-PRD n553_a_dick_1952__1->n553_a_dick_1952__1_4 n553_a_dick_1952__1_5 PUNC n553_a_dick_1952__1->n553_a_dick_1952__1_5 n553_a_dick_1952__1_1->n553_a_dick_1952__1_1_1 n553_a_dick_1952__1_2_1 D;_nphd_ n553_a_dick_1952__1_2->n553_a_dick_1952__1_2_1 n553_a_dick_1952__1_2_1->n553_a_dick_1952__1_2_1_1 n553_a_dick_1952__1_3->n553_a_dick_1952__1_3_1 n553_a_dick_1952__1_4_1 ADJ n553_a_dick_1952__1_4->n553_a_dick_1952__1_4_1 n553_a_dick_1952__1_4_1->n553_a_dick_1952__1_4_1_1 n553_a_dick_1952__1_5->n553_a_dick_1952__1_5_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ right;{right}))
          (PUNC .))
  (ID 553_a_dick_1952))


%3 r_0553_0003___apos_s 's r_0553_0004__right right r_0553_0003___apos_s->r_0553_0004__right [prd] r_0553_0002__That That r_0553_0003___apos_s->r_0553_0002__That [arg0] 
arc(r_0553_0003___apos_s,r_0553_0002__That,arg0).
arc(r_0553_0003___apos_s,r_0553_0004__right,prd).


%3 r_0553_0003___apos_s 's r_0553_0002__That That r_0553_0003___apos_s->r_0553_0002__That [arg0] r_0553_0004__right right r_0553_0003___apos_s->r_0553_0004__right [prd] 
fof(formula,axiom,
    ? [R_0553_0002__THAT,R_0553_0004__RIGHT,R_0553_0003___APOS_S] :
      ( r_0553_0002__That(R_0553_0002__THAT)
      & r_0553_0004__right(R_0553_0004__RIGHT)
      & r_0553_0003___apos_s(R_0553_0003___APOS_S)
      & has_prd(R_0553_0003___APOS_S,R_0553_0004__RIGHT)
      & has_arg0(R_0553_0003___APOS_S,R_0553_0002__THAT) ) ).