Context                Previous, Next                Top


42_a_lob_n01
Geoffrey smiled.

n42_a_lob_n01 n42_a_lob_n01__1_1_1_1 Geoffrey n42_a_lob_n01__1_2_1 smiled n42_a_lob_n01__1_3_1 . n42_a_lob_n01__1 IP-MAT n42_a_lob_n01__1_1 NP-SBJ n42_a_lob_n01__1->n42_a_lob_n01__1_1 n42_a_lob_n01__1_2 VBD;_I_ n42_a_lob_n01__1->n42_a_lob_n01__1_2 n42_a_lob_n01__1_3 PUNC n42_a_lob_n01__1->n42_a_lob_n01__1_3 n42_a_lob_n01__1_1_1 NPR n42_a_lob_n01__1_1->n42_a_lob_n01__1_1_1 n42_a_lob_n01__1_1_1->n42_a_lob_n01__1_1_1_1 n42_a_lob_n01__1_2->n42_a_lob_n01__1_2_1 n42_a_lob_n01__1_3->n42_a_lob_n01__1_3_1 
( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (VBD;_I_ smiled;{smile})
          (PUNC .))
  (ID 42_a_lob_n01))


%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_0042_0001__GEOFFREY,R_0042_0002__SMILED] :
      ( r_0042_0001__Geoffrey(R_0042_0001__GEOFFREY)
      & r_0042_0002__smiled(R_0042_0002__SMILED)
      & has_arg0(R_0042_0002__SMILED,R_0042_0001__GEOFFREY) ) ).