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_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_nim13(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) ) ).
( (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))