79_a_saint_exupery_1943
My friend smiled gently and indulgently.
arc(r_0079_0002__friend, r_0079_0001__My, gen).
arc(r_0079_0003__smiled, r_0079_0002__friend, arg0).
arc(r_0079_0003__smiled, r_0079_0005__and, nim10).
arc(r_0079_0005__and, r_0079_0004__gently, conj1).
arc(r_0079_0005__and, r_0079_0006__indulgently, conj2).
fof(formula,axiom,
? [R_0079_0001__MY,R_0079_0002__FRIEND,R_0079_0004__GENTLY,R_0079_0006__INDULGENTLY,R_0079_0005__AND,R_0079_0003__SMILED] :
( r_0079_0001__My(R_0079_0001__MY)
& r_0079_0004__gently(R_0079_0004__GENTLY)
& r_0079_0006__indulgently(R_0079_0006__INDULGENTLY)
& r_0079_0003__smiled(R_0079_0003__SMILED)
& has_nim10(R_0079_0003__SMILED,R_0079_0005__AND)
& r_0079_0005__and(R_0079_0005__AND)
& has_conj2(R_0079_0005__AND,R_0079_0006__INDULGENTLY)
& has_conj1(R_0079_0005__AND,R_0079_0004__GENTLY)
& has_arg0(R_0079_0003__SMILED,R_0079_0002__FRIEND)
& r_0079_0002__friend(R_0079_0002__FRIEND)
& has_gen(R_0079_0002__FRIEND,R_0079_0001__MY) ) ).
( (IP-MAT (NP-SBJ;{PRINCE} (NP-GEN (PRO;_genm_ My;{my}))
(N friend;{friend}))
(VBD;__ smiled;{smile})
(ADVP-NIM (AVLYR (AVLYR (ADV gently;{gently}))
(CONJP (CONJ and;{and})
(AVLYR (ADV indulgently;{indulgently})))))
(PUNC .))
(ID 79_a_saint_exupery_1943))