133_a_history_of_greece
In 1982, Greece joined the European Common Market (now the European Union).

%3 r_0133_0005__joined joined r_0133_0002__1982 1982 r_0133_0005__joined->r_0133_0002__1982 In [nim] r_0133_0004__Greece Greece r_0133_0005__joined->r_0133_0004__Greece [arg0] r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market the European Common Market r_0133_0005__joined->r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market [arg1] r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union the European Union r_0133_0011__now now r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union->r_0133_0011__now [qual] z_000_133_a_history_of_greece_26 z_000_133_a_history_of_greece_26->r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market [arg0] z_000_133_a_history_of_greece_26->r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union [prd]
arc(r_0133_0005__joined, r_0133_0002__1982, r_0133_0001__In_nim5).
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, qual28).
arc(z_000_133_a_history_of_greece_26, r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market, arg0).
arc(z_000_133_a_history_of_greece_26, r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union, prd).



%3 r_0133_0005__joined joined r_0133_0002__1982 1982 r_0133_0005__joined->r_0133_0002__1982 In [nim] r_0133_0004__Greece Greece r_0133_0005__joined->r_0133_0004__Greece [arg0] r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market the European Common Market r_0133_0005__joined->r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market [arg1] r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union the European Union r_0133_0011__now now r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union->r_0133_0011__now [qual] z_000_133_a_history_of_greece_26 z_000_133_a_history_of_greece_26->r_0133_0006__the_r_0133_0007__European_r_0133_0008__Common_r_0133_0009__Market [arg0] z_000_133_a_history_of_greece_26->r_0133_0012__the_r_0133_0013__European_r_0133_0014__Union [prd]
fof(formula,axiom,
    ? [R_133_5_JOINED,R_133_4_GREECE,R_133_2_1982,Z_133_A_HISTORY_OF_GREECE_26,R_133_6_THE_EUROPEAN_COMMON_MARKET,R_133_12_THE_EUROPEAN_UNION,R_133_11_NOW] :
      ( greece(R_133_4_GREECE)
      & 1982(R_133_2_1982)
      & the_European_Common_Market(R_133_6_THE_EUROPEAN_COMMON_MARKET)
      & now(R_133_11_NOW)
      & joined(R_133_5_JOINED,R_133_4_GREECE,R_133_6_THE_EUROPEAN_COMMON_MARKET)
      & in_nim5(R_133_5_JOINED,R_133_2_1982)
      & z_133_a_history_of_greece_26(Z_133_A_HISTORY_OF_GREECE_26,R_133_6_THE_EUROPEAN_COMMON_MARKET,R_133_12_THE_EUROPEAN_UNION)
      & the_European_Union(R_133_12_THE_EUROPEAN_UNION)
      & qual28(R_133_12_THE_EUROPEAN_UNION,R_133_11_NOW) ) ).



n133_a_history_of_greece n133_a_history_of_greece_4 In n133_a_history_of_greece_7 1982 n133_a_history_of_greece_9 , n133_a_history_of_greece_12 Greece n133_a_history_of_greece_14 joined n133_a_history_of_greece_17 the n133_a_history_of_greece_19 European n133_a_history_of_greece_21 Common n133_a_history_of_greece_23 Market n133_a_history_of_greece_25 -LRB- n133_a_history_of_greece_30 now n133_a_history_of_greece_32 the n133_a_history_of_greece_34 European n133_a_history_of_greece_36 Union n133_a_history_of_greece_38 -RRB- n133_a_history_of_greece_40 . n133_a_history_of_greece_1 IP-MAT n133_a_history_of_greece_2 PP-NIM n133_a_history_of_greece_1->n133_a_history_of_greece_2 n133_a_history_of_greece_8 PUNC n133_a_history_of_greece_1->n133_a_history_of_greece_8 n133_a_history_of_greece_10 NP-SBJ n133_a_history_of_greece_1->n133_a_history_of_greece_10 n133_a_history_of_greece_13 VBD;_Tn_ n133_a_history_of_greece_1->n133_a_history_of_greece_13 n133_a_history_of_greece_15 NP-OB1 n133_a_history_of_greece_1->n133_a_history_of_greece_15 n133_a_history_of_greece_39 PUNC n133_a_history_of_greece_1->n133_a_history_of_greece_39 n133_a_history_of_greece_3 P-ROLE n133_a_history_of_greece_2->n133_a_history_of_greece_3 n133_a_history_of_greece_5 NP n133_a_history_of_greece_2->n133_a_history_of_greece_5 n133_a_history_of_greece_3->n133_a_history_of_greece_4 n133_a_history_of_greece_6 NPR n133_a_history_of_greece_5->n133_a_history_of_greece_6 n133_a_history_of_greece_6->n133_a_history_of_greece_7 n133_a_history_of_greece_8->n133_a_history_of_greece_9 n133_a_history_of_greece_11 NPR n133_a_history_of_greece_10->n133_a_history_of_greece_11 n133_a_history_of_greece_11->n133_a_history_of_greece_12 n133_a_history_of_greece_13->n133_a_history_of_greece_14 n133_a_history_of_greece_16 D n133_a_history_of_greece_15->n133_a_history_of_greece_16 n133_a_history_of_greece_18 NPR n133_a_history_of_greece_15->n133_a_history_of_greece_18 n133_a_history_of_greece_20 NPR n133_a_history_of_greece_15->n133_a_history_of_greece_20 n133_a_history_of_greece_22 NPR n133_a_history_of_greece_15->n133_a_history_of_greece_22 n133_a_history_of_greece_24 PULB n133_a_history_of_greece_15->n133_a_history_of_greece_24 n133_a_history_of_greece_26 IP-PPL n133_a_history_of_greece_15->n133_a_history_of_greece_26 n133_a_history_of_greece_37 PURB n133_a_history_of_greece_15->n133_a_history_of_greece_37 n133_a_history_of_greece_16->n133_a_history_of_greece_17 n133_a_history_of_greece_18->n133_a_history_of_greece_19 n133_a_history_of_greece_20->n133_a_history_of_greece_21 n133_a_history_of_greece_22->n133_a_history_of_greece_23 n133_a_history_of_greece_24->n133_a_history_of_greece_25 n133_a_history_of_greece_27 NP-PRD n133_a_history_of_greece_26->n133_a_history_of_greece_27 n133_a_history_of_greece_28 ADVP n133_a_history_of_greece_27->n133_a_history_of_greece_28 n133_a_history_of_greece_31 D n133_a_history_of_greece_27->n133_a_history_of_greece_31 n133_a_history_of_greece_33 NPR n133_a_history_of_greece_27->n133_a_history_of_greece_33 n133_a_history_of_greece_35 NPR n133_a_history_of_greece_27->n133_a_history_of_greece_35 n133_a_history_of_greece_29 ADV n133_a_history_of_greece_28->n133_a_history_of_greece_29 n133_a_history_of_greece_29->n133_a_history_of_greece_30 n133_a_history_of_greece_31->n133_a_history_of_greece_32 n133_a_history_of_greece_33->n133_a_history_of_greece_34 n133_a_history_of_greece_35->n133_a_history_of_greece_36 n133_a_history_of_greece_37->n133_a_history_of_greece_38 n133_a_history_of_greece_39->n133_a_history_of_greece_40
( (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-)
                       (IP-PPL (NP-PRD (ADVP (ADV now;{now}))
                                       (D the;{the})
                                       (NPR European;{European})
                                       (NPR Union;{Union})))
                       (PURB -RRB-))
          (PUNC .))
  (ID 133_a_history_of_greece))