11_a_potter_1902
First he ate some lettuces and some French beans;
arc(r_0011_0003__ate, r_0011_0001__First, nim2).
arc(r_0011_0003__ate, r_0011_0002__he, arg0).
arc(r_0011_0003__ate, r_0011_0006__and, arg1).
arc(r_0011_0006__and, r_0011_0004__some_r_0011_0005__lettuces, conj1).
arc(r_0011_0006__and, r_0011_0007__some_r_0011_0009__beans, conj2).
arc(r_0011_0007__some_r_0011_0009__beans, r_0011_0008__French, attrib23).
fof(formula,axiom,
? [R_11_3_ATE,R_11_2_HE,R_11_6_AND,R_11_4_SOME_LETTUCES,R_11_7_SOME_BEANS,R_11_8_FRENCH,R_11_1_FIRST] :
( he(R_11_2_HE)
& some_lettuces(R_11_4_SOME_LETTUCES)
& french(R_11_8_FRENCH)
& first(R_11_1_FIRST)
& ate(R_11_3_ATE,R_11_2_HE,R_11_6_AND)
& and(R_11_6_AND)
& conj1(R_11_6_AND,R_11_4_SOME_LETTUCES)
& conj2(R_11_6_AND,R_11_7_SOME_BEANS)
& some_beans(R_11_7_SOME_BEANS)
& attrib23(R_11_7_SOME_BEANS,R_11_8_FRENCH)
& nim2(R_11_3_ATE,R_11_1_FIRST) ) ).
( (IP-MAT (ADVP-NIM (ADV First;{first}))
(NP-SBJ;{PETER} (PRO he;{he}))
(VBD;_Tn_ ate;{eat})
(NP-OB1 (NLYR (NLYR (D some;{some})
(NS lettuces;{lettuce}))
(CONJP (CONJ and;{and})
(NLYR (D some;{some})
(ADJP (ADJ French;{french}))
(NS beans;{bean})))))
(PUNC ;))
(ID 11_a_potter_1902))