1_a_takmi
The straw was peeled off from the juice pack.
( (IP-MAT (NP-SBJ (D The;{the})
(N straw;{straw}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.p_ peeled;{peel[off]})
(ADVP-CLR (RP off;{off}))
(PP-NIM (P-ROLE from;{from})
(NP (D the;{the})
(N juice;{juice})
(N pack;{pack}))))
(PUNC .))
(ID 1_a_takmi))
arc(r_0001_0003__was,r_0001_0004__peeled_r_0001_0005__off,scope).
arc(r_0001_0004__peeled_r_0001_0005__off,r_0001_0001__The_r_0001_0002__straw,arg1).
arc(r_0001_0004__peeled_r_0001_0005__off,r_0001_0007__the_r_0001_0008__juice_r_0001_0009__pack,r_0001_0006__from__nim).
arc(r_0001_0004__peeled_r_0001_0005__off,z_0001_5004___star_,arg0).
fof(formula,axiom,
? [R_0001_0001__THE_R_0001_0002__STRAW,R_0001_0007__THE_R_0001_0008__JUICE_R_0001_0009__PACK,Z_0001_5004___STAR_,R_0001_0003__WAS_R_0001_0004__PEELED_R_0001_0005__OFF] :
( r_0001_0001__The_r_0001_0002__straw(R_0001_0001__THE_R_0001_0002__STRAW)
& r_0001_0007__the_r_0001_0008__juice_r_0001_0009__pack(R_0001_0007__THE_R_0001_0008__JUICE_R_0001_0009__PACK)
& z_0001_5004___star_(Z_0001_5004___STAR_)
& r_0001_0003__was_r_0001_0004__peeled_r_0001_0005__off(R_0001_0003__WAS_R_0001_0004__PEELED_R_0001_0005__OFF)
& has_arg0(R_0001_0003__WAS_R_0001_0004__PEELED_R_0001_0005__OFF,Z_0001_5004___STAR_)
& has_r_0001_0006__from__nim(R_0001_0003__WAS_R_0001_0004__PEELED_R_0001_0005__OFF,R_0001_0007__THE_R_0001_0008__JUICE_R_0001_0009__PACK)
& has_arg1(R_0001_0003__WAS_R_0001_0004__PEELED_R_0001_0005__OFF,R_0001_0001__THE_R_0001_0002__STRAW) ) ).