Context                Previous, Next                Top


6_a_dick_1952
they smiled.

n6_a_dick_1952 n6_a_dick_1952__1_1_1_1 they n6_a_dick_1952__1_2_1 smiled n6_a_dick_1952__1_3_1 . n6_a_dick_1952__1 IP-MAT n6_a_dick_1952__1_1 NP-SBJ n6_a_dick_1952__1->n6_a_dick_1952__1_1 n6_a_dick_1952__1_2 VBD;_I_ n6_a_dick_1952__1->n6_a_dick_1952__1_2 n6_a_dick_1952__1_3 PUNC n6_a_dick_1952__1->n6_a_dick_1952__1_3 n6_a_dick_1952__1_1_1 PRO n6_a_dick_1952__1_1->n6_a_dick_1952__1_1_1 n6_a_dick_1952__1_1_1->n6_a_dick_1952__1_1_1_1 n6_a_dick_1952__1_2->n6_a_dick_1952__1_2_1 n6_a_dick_1952__1_3->n6_a_dick_1952__1_3_1 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO they;{they}))
          (VBD;_I_ smiled;{smile})
          (PUNC .))
  (ID 6_a_dick_1952))


%3 r_0006_0002__smiled smiled r_0006_0001__they they r_0006_0002__smiled->r_0006_0001__they [arg0] 
arc(r_0006_0002__smiled,r_0006_0001__they,arg0).


%3 r_0006_0002__smiled smiled r_0006_0001__they they r_0006_0002__smiled->r_0006_0001__they [arg0] 
fof(formula,axiom,
    ? [R_0006_0001__THEY,R_0006_0002__SMILED] :
      ( r_0006_0001__they(R_0006_0001__THEY)
      & r_0006_0002__smiled(R_0006_0002__SMILED)
      & has_arg0(R_0006_0002__SMILED,R_0006_0001__THEY) ) ).