133_a_history_of_greece
In 1982, Greece joined the European Common Market (now the European Union).
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP;{ERA1982} (NPR 1982)))
(PUNC ,)
(NP-SBJ (NPR Greece;{Greece}))
(VBD;_Tn_ joined;{join})
(NP-OB1;{EU} (D the;{the})
(NPR European;{European})
(NPR Common;{Common})
(NPR Market;{Market})
(PULB -LRB-)
(PRN (NP (ADVP (ADV now;{now}))
(D the;{the})
(NPR European;{European})
(NPR Union;{Union})))
(PURB -RRB-))
(PUNC .))
(ID 133_a_history_of_greece))
arc(r_0133_0005__joined,r_0133_0002__1982,r_0133_0001__In__nim).
arc(r_0133_0005__joined,r_0133_0004__Greece,arg0).
arc(r_0133_0005__joined,r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market,arg1).
arc(r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union,r_0133_0011__now,qual).
arc(z_0133_5002,r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market,arg0).
arc(z_0133_5002,r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union,prd).
fof(formula,axiom,
? [R_0133_0002__1982,R_0133_0004__GREECE,R_0133_0006__THE_R_0133_0007__EUROPEAN_R_0133_0008__COMMON_R_0133_0009__MARKET,R_0133_0005__JOINED,R_0133_0011__NOW,R_0133_0012__THE_R_0133_0013__EUROPEAN_R_0133_0014__UNION,Z_0133_5002] :
( r_0133_0002__1982(R_0133_0002__1982)
& r_0133_0004__Greece(R_0133_0004__GREECE)
& r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market(R_0133_0006__THE_R_0133_0007__EUROPEAN_R_0133_0008__COMMON_R_0133_0009__MARKET)
& r_0133_0011__now(R_0133_0011__NOW)
& z_0133_5002(Z_0133_5002)
& has_prd(Z_0133_5002,R_0133_0012__THE_R_0133_0013__EUROPEAN_R_0133_0014__UNION)
& r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union(R_0133_0012__THE_R_0133_0013__EUROPEAN_R_0133_0014__UNION)
& has_qual(R_0133_0012__THE_R_0133_0013__EUROPEAN_R_0133_0014__UNION,R_0133_0011__NOW)
& has_arg0(Z_0133_5002,R_0133_0006__THE_R_0133_0007__EUROPEAN_R_0133_0008__COMMON_R_0133_0009__MARKET)
& r_0133_0005__joined(R_0133_0005__JOINED)
& has_arg1(R_0133_0005__JOINED,R_0133_0006__THE_R_0133_0007__EUROPEAN_R_0133_0008__COMMON_R_0133_0009__MARKET)
& has_arg0(R_0133_0005__JOINED,R_0133_0004__GREECE)
& has_r_0133_0001__In__nim(R_0133_0005__JOINED,R_0133_0002__1982) ) ).