33_a_stuck_japan
A friend was recently negotiating to buy several hectares of forest.
( (IP-MAT (NP-SBJ (D A;{a})
(N friend;{friend}))
(BED;_cat_Vg_ was;{be})
(ADVP-NIM (ADV recently;{recently}))
(IP-PPL-CAT (VAG;_Tt_ negotiating;{negotiate})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ buy;{buy})
(NP-OB1 (ADJP (ADJ several;{several}))
(NS hectares;{hectare})
(PP (P-ROLE of;{of})
(NP (N forest;{forest}))))))
(PUNC .))
(ID 33_a_stuck_japan))
arc(r_0033_0003__was,r_0033_0004__recently,nim).
arc(r_0033_0003__was,r_0033_0005__negotiating,scope).
arc(r_0033_0005__negotiating,r_0033_0001__A_r_0033_0002__friend,arg0).
arc(r_0033_0005__negotiating,r_0033_0007__buy,arg1).
arc(r_0033_0007__buy,r_0033_0001__A_r_0033_0002__friend,arg0).
arc(r_0033_0007__buy,r_0033_0009__hectares,arg1).
arc(r_0033_0009__hectares,r_0033_0008__several,attrib).
arc(r_0033_0009__hectares,r_0033_0011__forest,r_0033_0010__of).
fof(formula,axiom,
? [R_0033_0004__RECENTLY,R_0033_0001__A_R_0033_0002__FRIEND,R_0033_0008__SEVERAL,R_0033_0011__FOREST,R_0033_0009__HECTARES,R_0033_0007__BUY,R_0033_0003__WAS_R_0033_0005__NEGOTIATING] :
( r_0033_0001__A_r_0033_0002__friend(R_0033_0001__A_R_0033_0002__FRIEND)
& r_0033_0004__recently(R_0033_0004__RECENTLY)
& r_0033_0008__several(R_0033_0008__SEVERAL)
& r_0033_0011__forest(R_0033_0011__FOREST)
& r_0033_0003__was_r_0033_0005__negotiating(R_0033_0003__WAS_R_0033_0005__NEGOTIATING)
& has_arg1(R_0033_0003__WAS_R_0033_0005__NEGOTIATING,R_0033_0007__BUY)
& r_0033_0007__buy(R_0033_0007__BUY)
& has_arg1(R_0033_0007__BUY,R_0033_0009__HECTARES)
& r_0033_0009__hectares(R_0033_0009__HECTARES)
& has_r_0033_0010__of(R_0033_0009__HECTARES,R_0033_0011__FOREST)
& has_attrib(R_0033_0009__HECTARES,R_0033_0008__SEVERAL)
& has_arg0(R_0033_0007__BUY,R_0033_0001__A_R_0033_0002__FRIEND)
& has_arg0(R_0033_0003__WAS_R_0033_0005__NEGOTIATING,R_0033_0001__A_R_0033_0002__FRIEND)
& has_nim(R_0033_0003__WAS_R_0033_0005__NEGOTIATING,R_0033_0004__RECENTLY) ) ).