21_a_potter_1902
Peter gave himself up for lost, and shed big tears;
arc(r_0021_0002__gave_r_0021_0004__up, r_0021_0001__Peter, arg0).
arc(r_0021_0002__gave_r_0021_0004__up, r_0021_0001__Peter, arg1).
arc(r_0021_0002__gave_r_0021_0004__up, z_000_21_a_potter_1902_17, r_0021_0005__for_nim17).
arc(r_0021_0008__and, r_0021_0002__gave_r_0021_0004__up, conj1).
arc(r_0021_0008__and, r_0021_0009__shed, conj2).
arc(r_0021_0009__shed, r_0021_0001__Peter, arg0).
arc(r_0021_0009__shed, r_0021_0011__tears, arg1).
arc(r_0021_0011__tears, r_0021_0010__big, attrib30).
arc(z_000_21_a_potter_1902_17, r_0021_0006__lost, attrib18).
fof(formula,axiom,
? [R_21_8_AND,R_21_2_GAVE_UP,Z_21_A_POTTER_1902_17,R_21_6_LOST,R_21_9_SHED,R_21_1_PETER,R_21_11_TEARS,R_21_10_BIG] :
( lost(R_21_6_LOST)
& peter(R_21_1_PETER)
& big(R_21_10_BIG)
& and(R_21_8_AND)
& conj1(R_21_8_AND,R_21_2_GAVE_UP)
& gave_up(R_21_2_GAVE_UP,R_21_1_PETER,R_21_1_PETER)
& for_nim17(R_21_2_GAVE_UP,Z_21_A_POTTER_1902_17)
& z_21_a_potter_1902_17(Z_21_A_POTTER_1902_17)
& attrib18(Z_21_A_POTTER_1902_17,R_21_6_LOST)
& conj2(R_21_8_AND,R_21_9_SHED)
& shed(R_21_9_SHED,R_21_1_PETER,R_21_11_TEARS)
& tears(R_21_11_TEARS)
& attrib30(R_21_11_TEARS,R_21_10_BIG) ) ).
( (IP-MAT (NP-SBJ;{PETER} (NPR Peter;{Peter}))
(ILYR (ILYR (VBD;_phr_Vn<=>p_ gave;{give[up]})
(NP-OB1;{PETER} (PNX himself;{himself}))
(RP up;{up})
(PP-NIM (P-ROLE for;{for})
(NP (ADJP (ADJ lost;{lost})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn_ shed;{shed})
(NP-OB1 (ADJP (ADJ big;{big}))
(NS tears;{tear})))))
(PUNC ;))
(ID 21_a_potter_1902))