134_a_history_of_greece
Since this time, membership has been of great monetary benefit to 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))
arc(r_0134_0006__has,r_0134_0002__this_r_0134_0003__time,r_0134_0001__Since__nim).
arc(r_0134_0006__has,r_0134_0007__been_r_0134_0008__of,scope).
arc(r_0134_0007__been_r_0134_0008__of,r_0134_0005__membership,arg0).
arc(r_0134_0007__been_r_0134_0008__of,r_0134_0011__benefit,arg1).
arc(r_0134_0011__benefit,r_0134_0009__great,attrib).
arc(r_0134_0011__benefit,r_0134_0010__monetary,attrib).
arc(r_0134_0011__benefit,r_0134_0013__the_r_0134_0014__country,r_0134_0012__to).
fof(formula,axiom,
? [R_0134_0002__THIS_R_0134_0003__TIME,R_0134_0005__MEMBERSHIP,R_0134_0009__GREAT,R_0134_0010__MONETARY,R_0134_0013__THE_R_0134_0014__COUNTRY,R_0134_0011__BENEFIT,R_0134_0006__HAS_R_0134_0007__BEEN_R_0134_0008__OF] :
( r_0134_0002__this_r_0134_0003__time(R_0134_0002__THIS_R_0134_0003__TIME)
& r_0134_0005__membership(R_0134_0005__MEMBERSHIP)
& r_0134_0009__great(R_0134_0009__GREAT)
& r_0134_0010__monetary(R_0134_0010__MONETARY)
& r_0134_0013__the_r_0134_0014__country(R_0134_0013__THE_R_0134_0014__COUNTRY)
& r_0134_0006__has_r_0134_0007__been_r_0134_0008__of(R_0134_0006__HAS_R_0134_0007__BEEN_R_0134_0008__OF)
& has_arg1(R_0134_0006__HAS_R_0134_0007__BEEN_R_0134_0008__OF,R_0134_0011__BENEFIT)
& r_0134_0011__benefit(R_0134_0011__BENEFIT)
& has_r_0134_0012__to(R_0134_0011__BENEFIT,R_0134_0013__THE_R_0134_0014__COUNTRY)
& has_attrib(R_0134_0011__BENEFIT,R_0134_0010__MONETARY)
& has_attrib(R_0134_0011__BENEFIT,R_0134_0009__GREAT)
& has_arg0(R_0134_0006__HAS_R_0134_0007__BEEN_R_0134_0008__OF,R_0134_0005__MEMBERSHIP)
& has_r_0134_0001__Since__nim(R_0134_0006__HAS_R_0134_0007__BEEN_R_0134_0008__OF,R_0134_0002__THIS_R_0134_0003__TIME) ) ).