Context                Previous, Next                Top


70_a_lob_n02
She met his eyes then.

n70_a_lob_n02 n70_a_lob_n02__1_1_1_1 She n70_a_lob_n02__1_2_1 met n70_a_lob_n02__1_3_1_1_1 his n70_a_lob_n02__1_3_2_1 eyes n70_a_lob_n02__1_4_1_1 then n70_a_lob_n02__1_5_1 . n70_a_lob_n02__1 IP-MAT n70_a_lob_n02__1_1 NP-SBJ n70_a_lob_n02__1->n70_a_lob_n02__1_1 n70_a_lob_n02__1_2 VBD;__ n70_a_lob_n02__1->n70_a_lob_n02__1_2 n70_a_lob_n02__1_3 NP-OB1 n70_a_lob_n02__1->n70_a_lob_n02__1_3 n70_a_lob_n02__1_4 ADVP-NIM n70_a_lob_n02__1->n70_a_lob_n02__1_4 n70_a_lob_n02__1_5 PUNC n70_a_lob_n02__1->n70_a_lob_n02__1_5 n70_a_lob_n02__1_1_1 PRO n70_a_lob_n02__1_1->n70_a_lob_n02__1_1_1 n70_a_lob_n02__1_1_1->n70_a_lob_n02__1_1_1_1 n70_a_lob_n02__1_2->n70_a_lob_n02__1_2_1 n70_a_lob_n02__1_3_1 NP-GEN n70_a_lob_n02__1_3->n70_a_lob_n02__1_3_1 n70_a_lob_n02__1_3_2 NS n70_a_lob_n02__1_3->n70_a_lob_n02__1_3_2 n70_a_lob_n02__1_3_1_1 PRO;_genm_ n70_a_lob_n02__1_3_1->n70_a_lob_n02__1_3_1_1 n70_a_lob_n02__1_3_1_1->n70_a_lob_n02__1_3_1_1_1 n70_a_lob_n02__1_3_2->n70_a_lob_n02__1_3_2_1 n70_a_lob_n02__1_4_1 ADV n70_a_lob_n02__1_4->n70_a_lob_n02__1_4_1 n70_a_lob_n02__1_4_1->n70_a_lob_n02__1_4_1_1 n70_a_lob_n02__1_5->n70_a_lob_n02__1_5_1 
( (IP-MAT (NP-SBJ;{BERYL} (PRO She;{she}))
          (VBD;__ met;{meet})
          (NP-OB1 (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
                  (NS eyes;{eye}))
          (ADVP-NIM (ADV then;{then}))
          (PUNC .))
  (ID 70_a_lob_n02))


%3 r_0070_0004__eyes eyes r_0070_0003__his his r_0070_0004__eyes->r_0070_0003__his [gen] r_0070_0002__met met r_0070_0002__met->r_0070_0004__eyes [arg1] r_0070_0005__then then r_0070_0002__met->r_0070_0005__then [nim] r_0070_0001__She She r_0070_0002__met->r_0070_0001__She [arg0] 
arc(r_0070_0002__met,r_0070_0001__She,arg0).
arc(r_0070_0002__met,r_0070_0004__eyes,arg1).
arc(r_0070_0002__met,r_0070_0005__then,nim).
arc(r_0070_0004__eyes,r_0070_0003__his,gen).


%3 r_0070_0002__met met r_0070_0001__She She r_0070_0002__met->r_0070_0001__She [arg0] r_0070_0004__eyes eyes r_0070_0002__met->r_0070_0004__eyes [arg1] r_0070_0005__then then r_0070_0002__met->r_0070_0005__then [nim] r_0070_0003__his his r_0070_0004__eyes->r_0070_0003__his [gen] 
fof(formula,axiom,
    ? [R_0070_0001__SHE,R_0070_0003__HIS,R_0070_0004__EYES,R_0070_0005__THEN,R_0070_0002__MET] :
      ( r_0070_0001__She(R_0070_0001__SHE)
      & r_0070_0003__his(R_0070_0003__HIS)
      & r_0070_0005__then(R_0070_0005__THEN)
      & r_0070_0002__met(R_0070_0002__MET)
      & has_nim(R_0070_0002__MET,R_0070_0005__THEN)
      & has_arg1(R_0070_0002__MET,R_0070_0004__EYES)
      & r_0070_0004__eyes(R_0070_0004__EYES)
      & has_gen(R_0070_0004__EYES,R_0070_0003__HIS)
      & has_arg0(R_0070_0002__MET,R_0070_0001__SHE) ) ).