70_a_lob_n02
She met his eyes then.
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, nim13).
arc(r_0070_0004__eyes, r_0070_0003__his, gen).
fof(formula,axiom,
? [R_70_2_MET,R_70_1_SHE,R_70_4_EYES,R_70_3_HIS,R_70_5_THEN] :
( she(R_70_1_SHE)
& his(R_70_3_HIS)
& then(R_70_5_THEN)
& met(R_70_2_MET,R_70_1_SHE,R_70_4_EYES)
& eyes(R_70_4_EYES)
& gen(R_70_4_EYES,R_70_3_HIS)
& nim13(R_70_2_MET,R_70_5_THEN) ) ).
( (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))