Context                Previous, Next                Top


42_a_lob_n01
Geoffrey smiled.

%3 r_0042_0002__smiled smiled r_0042_0001__Geoffrey Geoffrey r_0042_0002__smiled->r_0042_0001__Geoffrey [arg0] 
arc(r_0042_0002__smiled, r_0042_0001__Geoffrey, arg0).


%3 r_0042_0002__smiled smiled r_0042_0001__Geoffrey Geoffrey r_0042_0002__smiled->r_0042_0001__Geoffrey [arg0] 
fof(formula,axiom,
    ? [R_42_2_SMILED,R_42_1_GEOFFREY] :
      ( geoffrey(R_42_1_GEOFFREY)
      & smiled(R_42_2_SMILED,R_42_1_GEOFFREY) ) ).


n42_a_lob_n01 n42_a_lob_n01_4 Geoffrey n42_a_lob_n01_6 smiled n42_a_lob_n01_8 . n42_a_lob_n01_1 IP-MAT n42_a_lob_n01_2 NP-SBJ n42_a_lob_n01_1->n42_a_lob_n01_2 n42_a_lob_n01_5 VBD;_I_ n42_a_lob_n01_1->n42_a_lob_n01_5 n42_a_lob_n01_7 PUNC n42_a_lob_n01_1->n42_a_lob_n01_7 n42_a_lob_n01_3 NPR n42_a_lob_n01_2->n42_a_lob_n01_3 n42_a_lob_n01_3->n42_a_lob_n01_4 n42_a_lob_n01_5->n42_a_lob_n01_6 n42_a_lob_n01_7->n42_a_lob_n01_8 
( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (VBD;_I_ smiled;{smile})
          (PUNC .))
  (ID 42_a_lob_n01))