134_a_history_of_greece
Since this time, membership has been of great monetary benefit to the country.
arc(r_0134_0006__has, r_0134_0002__this_r_0134_0003__time, r_0134_0001__Since_nim5).
arc(r_0134_0006__has, r_0134_0007__been, scope).
arc(r_0134_0007__been, r_0134_0005__membership, arg0).
arc(r_0134_0007__been, r_0134_0011__benefit, r_0134_0008__of_clr23).
arc(r_0134_0011__benefit, r_0134_0009__great, attrib24).
arc(r_0134_0011__benefit, r_0134_0010__monetary, attrib27).
arc(r_0134_0011__benefit, r_0134_0013__the_r_0134_0014__country, r_0134_0012__to).
fof(formula,axiom,
? [R_134_6_HAS_BEEN,R_134_5_MEMBERSHIP,R_134_2_THIS_TIME,R_134_11_BENEFIT,R_134_9_GREAT,R_134_10_MONETARY,R_134_13_THE_COUNTRY] :
( membership(R_134_5_MEMBERSHIP)
& this_time(R_134_2_THIS_TIME)
& great(R_134_9_GREAT)
& monetary(R_134_10_MONETARY)
& the_country(R_134_13_THE_COUNTRY)
& has_been(R_134_6_HAS_BEEN,R_134_5_MEMBERSHIP)
& since_nim5(R_134_6_HAS_BEEN,R_134_2_THIS_TIME)
& of_clr23(R_134_6_HAS_BEEN,R_134_11_BENEFIT)
& benefit(R_134_11_BENEFIT)
& attrib24(R_134_11_BENEFIT,R_134_9_GREAT)
& attrib27(R_134_11_BENEFIT,R_134_10_MONETARY)
& to(R_134_11_BENEFIT,R_134_13_THE_COUNTRY) ) ).
( (IP-MAT (PP-NIM (P-ROLE Since;{since})
(NP;{ERA1982} (D this;{this})
(N time;{time})))
(PUNC ,)
(NP-SBJ (N membership;{membership}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_Ipr_ been;{be[of]})
(PP-CLR (P-ROLE of;{of})
(NP (ADJP (ADJ great;{great}))
(ADJP (ADJ monetary;{monetary}))
(N benefit;{benefit})
(PP (P-ROLE to;{to})
(NP (D the;{the})
(N country;{country}))))))
(PUNC .))
(ID 134_a_history_of_greece))