Context                Previous, Next                Top


6_a_dick_1952
they smiled.

%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_6_2_SMILED,R_6_1_THEY] :
      ( they(R_6_1_THEY)
      & smiled(R_6_2_SMILED,R_6_1_THEY) ) ).


n6_a_dick_1952 n6_a_dick_1952_4 they n6_a_dick_1952_6 smiled n6_a_dick_1952_8 . n6_a_dick_1952_1 IP-MAT n6_a_dick_1952_2 NP-SBJ n6_a_dick_1952_1->n6_a_dick_1952_2 n6_a_dick_1952_5 VBD;_I_ n6_a_dick_1952_1->n6_a_dick_1952_5 n6_a_dick_1952_7 PUNC n6_a_dick_1952_1->n6_a_dick_1952_7 n6_a_dick_1952_3 PRO n6_a_dick_1952_2->n6_a_dick_1952_3 n6_a_dick_1952_3->n6_a_dick_1952_4 n6_a_dick_1952_5->n6_a_dick_1952_6 n6_a_dick_1952_7->n6_a_dick_1952_8 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO they;{they}))
          (VBD;_I_ smiled;{smile})
          (PUNC .))
  (ID 6_a_dick_1952))