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_79_3_SMILED,R_79_2_FRIEND,R_79_1_MY,R_79_5_AND,R_79_4_GENTLY,R_79_6_INDULGENTLY] :
( my(R_79_1_MY)
& gently(R_79_4_GENTLY)
& indulgently(R_79_6_INDULGENTLY)
& smiled(R_79_3_SMILED,R_79_2_FRIEND)
& friend(R_79_2_FRIEND)
& gen(R_79_2_FRIEND,R_79_1_MY)
& nim10(R_79_3_SMILED,R_79_5_AND)
& and(R_79_5_AND)
& conj1(R_79_5_AND,R_79_4_GENTLY)
& conj2(R_79_5_AND,R_79_6_INDULGENTLY) ) ).
( (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))