Context                Previous, Next                Top


508_a_dick_1952
He's right:

n508_a_dick_1952 n508_a_dick_1952__1_1_1_1 He n508_a_dick_1952__1_2_1 's n508_a_dick_1952__1_3_1_1 right n508_a_dick_1952__1_4_1 : n508_a_dick_1952__1 IP-MAT n508_a_dick_1952__1_1 NP-SBJ n508_a_dick_1952__1->n508_a_dick_1952__1_1 n508_a_dick_1952__1_2 BEP;_La_ n508_a_dick_1952__1->n508_a_dick_1952__1_2 n508_a_dick_1952__1_3 ADJP-PRD n508_a_dick_1952__1->n508_a_dick_1952__1_3 n508_a_dick_1952__1_4 PUNC n508_a_dick_1952__1->n508_a_dick_1952__1_4 n508_a_dick_1952__1_1_1 PRO n508_a_dick_1952__1_1->n508_a_dick_1952__1_1_1 n508_a_dick_1952__1_1_1->n508_a_dick_1952__1_1_1_1 n508_a_dick_1952__1_2->n508_a_dick_1952__1_2_1 n508_a_dick_1952__1_3_1 ADJ n508_a_dick_1952__1_3->n508_a_dick_1952__1_3_1 n508_a_dick_1952__1_3_1->n508_a_dick_1952__1_3_1_1 n508_a_dick_1952__1_4->n508_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ right;{right}))
          (PUNC :))
  (ID 508_a_dick_1952))


%3 r_0508_0002___apos_s 's r_0508_0003__right right r_0508_0002___apos_s->r_0508_0003__right [prd] r_0508_0001__He He r_0508_0002___apos_s->r_0508_0001__He [arg0] 
arc(r_0508_0002___apos_s,r_0508_0001__He,arg0).
arc(r_0508_0002___apos_s,r_0508_0003__right,prd).


%3 r_0508_0002___apos_s 's r_0508_0001__He He r_0508_0002___apos_s->r_0508_0001__He [arg0] r_0508_0003__right right r_0508_0002___apos_s->r_0508_0003__right [prd] 
fof(formula,axiom,
    ? [R_0508_0001__HE,R_0508_0003__RIGHT,R_0508_0002___APOS_S] :
      ( r_0508_0001__He(R_0508_0001__HE)
      & r_0508_0003__right(R_0508_0003__RIGHT)
      & r_0508_0002___apos_s(R_0508_0002___APOS_S)
      & has_prd(R_0508_0002___APOS_S,R_0508_0003__RIGHT)
      & has_arg0(R_0508_0002___APOS_S,R_0508_0001__HE) ) ).