11_a_takmi
I like to buy juice made by ABCDE confectionary company, but this time there was some juice leaking from the bottom.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(VBP;_Tt_ like;{like})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ buy;{buy})
(NP-OB1 (N juice;{juice})
(IP-PPL (VVN;_Tn_ made;{make})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (NPR ABCDE;{ABCDE})
(N confectionary;{confectionary})
(N company;{company})))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-NIM (D this;{this})
(N time;{time}))
(EX there;{there})
(BED;_ex_cat_Vg_ was;{be})
(NP-ESBJ (D some;{some})
(N juice;{juice}))
(IP-PPL-CAT (VAG;_Ipr_ leaking;{leak[from]})
(PP-CLR (P-ROLE from;{from})
(NP (D the;{the})
(N bottom;{bottom})))))))
(PUNC .))
(ID 11_a_takmi))
arc(r_0011_0002__like,r_0011_0001__I,arg0).
arc(r_0011_0002__like,r_0011_0004__buy,arg1).
arc(r_0011_0004__buy,r_0011_0001__I,arg0).
arc(r_0011_0004__buy,r_0011_0005__juice,arg1).
arc(r_0011_0006__made,r_0011_0005__juice,inv_arg1).
arc(r_0011_0006__made,r_0011_0008__ABCDE_r_0011_0009__confectionary_r_0011_0010__company,r_0011_0007__by_arg0).
arc(r_0011_0012__but,r_0011_0002__like,conj1).
arc(r_0011_0012__but,r_0011_0016__was,conj2).
arc(r_0011_0016__was,r_0011_0013__this_r_0011_0014__time,nim).
arc(r_0011_0016__was,r_0011_0019__leaking_r_0011_0020__from,scope).
arc(r_0011_0019__leaking_r_0011_0020__from,r_0011_0017__some_r_0011_0018__juice,arg0).
arc(r_0011_0019__leaking_r_0011_0020__from,r_0011_0021__the_r_0011_0022__bottom,arg1).
fof(formula,axiom,
? [R_0011_0001__I,R_0011_0008__ABCDE_R_0011_0009__CONFECTIONARY_R_0011_0010__COMPANY,R_0011_0006__MADE,R_0011_0005__JUICE,R_0011_0004__BUY,R_0011_0002__LIKE,R_0011_0013__THIS_R_0011_0014__TIME,R_0011_0017__SOME_R_0011_0018__JUICE,R_0011_0021__THE_R_0011_0022__BOTTOM,R_0011_0016__WAS_R_0011_0019__LEAKING_R_0011_0020__FROM,R_0011_0012__BUT] :
( r_0011_0001__I(R_0011_0001__I)
& r_0011_0008__ABCDE_r_0011_0009__confectionary_r_0011_0010__company(R_0011_0008__ABCDE_R_0011_0009__CONFECTIONARY_R_0011_0010__COMPANY)
& r_0011_0013__this_r_0011_0014__time(R_0011_0013__THIS_R_0011_0014__TIME)
& r_0011_0017__some_r_0011_0018__juice(R_0011_0017__SOME_R_0011_0018__JUICE)
& r_0011_0021__the_r_0011_0022__bottom(R_0011_0021__THE_R_0011_0022__BOTTOM)
& r_0011_0012__but(R_0011_0012__BUT)
& has_conj2(R_0011_0012__BUT,R_0011_0016__WAS_R_0011_0019__LEAKING_R_0011_0020__FROM)
& r_0011_0016__was_r_0011_0019__leaking_r_0011_0020__from(R_0011_0016__WAS_R_0011_0019__LEAKING_R_0011_0020__FROM)
& has_arg1(R_0011_0016__WAS_R_0011_0019__LEAKING_R_0011_0020__FROM,R_0011_0021__THE_R_0011_0022__BOTTOM)
& has_arg0(R_0011_0016__WAS_R_0011_0019__LEAKING_R_0011_0020__FROM,R_0011_0017__SOME_R_0011_0018__JUICE)
& has_nim(R_0011_0016__WAS_R_0011_0019__LEAKING_R_0011_0020__FROM,R_0011_0013__THIS_R_0011_0014__TIME)
& has_conj1(R_0011_0012__BUT,R_0011_0002__LIKE)
& r_0011_0002__like(R_0011_0002__LIKE)
& has_arg1(R_0011_0002__LIKE,R_0011_0004__BUY)
& r_0011_0004__buy(R_0011_0004__BUY)
& has_arg1(R_0011_0004__BUY,R_0011_0005__JUICE)
& r_0011_0005__juice(R_0011_0005__JUICE)
& has_inv_arg1(R_0011_0005__JUICE,R_0011_0006__MADE)
& r_0011_0006__made(R_0011_0006__MADE)
& has_r_0011_0007__by_arg0(R_0011_0006__MADE,R_0011_0008__ABCDE_R_0011_0009__CONFECTIONARY_R_0011_0010__COMPANY)
& has_arg0(R_0011_0004__BUY,R_0011_0001__I)
& has_arg0(R_0011_0002__LIKE,R_0011_0001__I) ) ).