4_a_history_of_greece
Around 7000 b.c., the Phoenicians set out from what is now Iran to explore their surroundings.

n4_a_history_of_greece n4_a_history_of_greece__1_1_1_1_1 Around n4_a_history_of_greece__1_1_2_1 7000 n4_a_history_of_greece__1_1_3_1 b.c. n4_a_history_of_greece__1_2_1 , n4_a_history_of_greece__1_3_1_1 the n4_a_history_of_greece__1_3_2_1 Phoenicians n4_a_history_of_greece__1_4_1 set n4_a_history_of_greece__1_5_1 out n4_a_history_of_greece__1_6_1_1 from n4_a_history_of_greece__1_6_2_1_1_1_1 what n4_a_history_of_greece__1_6_2_1_2_1 is n4_a_history_of_greece__1_6_2_1_3_1_1 now n4_a_history_of_greece__1_6_2_1_4_1_1 Iran n4_a_history_of_greece__1_7_1_1_1 to n4_a_history_of_greece__1_7_1_2_1 explore n4_a_history_of_greece__1_7_1_3_1_1_1 their n4_a_history_of_greece__1_7_1_3_2_1 surroundings n4_a_history_of_greece__1_8_1 . n4_a_history_of_greece__1 IP-MAT n4_a_history_of_greece__1_1 NP-NIM n4_a_history_of_greece__1->n4_a_history_of_greece__1_1 n4_a_history_of_greece__1_2 PUNC n4_a_history_of_greece__1->n4_a_history_of_greece__1_2 n4_a_history_of_greece__1_3 NP-SBJ n4_a_history_of_greece__1->n4_a_history_of_greece__1_3 n4_a_history_of_greece__1_4 VBD;_phr_Vp.pr_ n4_a_history_of_greece__1->n4_a_history_of_greece__1_4 n4_a_history_of_greece__1_5 RP n4_a_history_of_greece__1->n4_a_history_of_greece__1_5 n4_a_history_of_greece__1_6 PP-CLR n4_a_history_of_greece__1->n4_a_history_of_greece__1_6 n4_a_history_of_greece__1_7 PP-SCON n4_a_history_of_greece__1->n4_a_history_of_greece__1_7 n4_a_history_of_greece__1_8 PUNC n4_a_history_of_greece__1->n4_a_history_of_greece__1_8 n4_a_history_of_greece__1_1_1 ADVP n4_a_history_of_greece__1_1->n4_a_history_of_greece__1_1_1 n4_a_history_of_greece__1_1_2 NPR n4_a_history_of_greece__1_1->n4_a_history_of_greece__1_1_2 n4_a_history_of_greece__1_1_3 NPR n4_a_history_of_greece__1_1->n4_a_history_of_greece__1_1_3 n4_a_history_of_greece__1_1_1_1 ADV n4_a_history_of_greece__1_1_1->n4_a_history_of_greece__1_1_1_1 n4_a_history_of_greece__1_1_1_1->n4_a_history_of_greece__1_1_1_1_1 n4_a_history_of_greece__1_1_2->n4_a_history_of_greece__1_1_2_1 n4_a_history_of_greece__1_1_3->n4_a_history_of_greece__1_1_3_1 n4_a_history_of_greece__1_2->n4_a_history_of_greece__1_2_1 n4_a_history_of_greece__1_3_1 D n4_a_history_of_greece__1_3->n4_a_history_of_greece__1_3_1 n4_a_history_of_greece__1_3_2 NPRS n4_a_history_of_greece__1_3->n4_a_history_of_greece__1_3_2 n4_a_history_of_greece__1_3_1->n4_a_history_of_greece__1_3_1_1 n4_a_history_of_greece__1_3_2->n4_a_history_of_greece__1_3_2_1 n4_a_history_of_greece__1_4->n4_a_history_of_greece__1_4_1 n4_a_history_of_greece__1_5->n4_a_history_of_greece__1_5_1 n4_a_history_of_greece__1_6_1 P-ROLE n4_a_history_of_greece__1_6->n4_a_history_of_greece__1_6_1 n4_a_history_of_greece__1_6_2 NP n4_a_history_of_greece__1_6->n4_a_history_of_greece__1_6_2 n4_a_history_of_greece__1_6_1->n4_a_history_of_greece__1_6_1_1 n4_a_history_of_greece__1_6_2_1 IP-REL n4_a_history_of_greece__1_6_2->n4_a_history_of_greece__1_6_2_1 n4_a_history_of_greece__1_6_2_1_1 NP-SBJ n4_a_history_of_greece__1_6_2_1->n4_a_history_of_greece__1_6_2_1_1 n4_a_history_of_greece__1_6_2_1_2 BEP;_Ln_ n4_a_history_of_greece__1_6_2_1->n4_a_history_of_greece__1_6_2_1_2 n4_a_history_of_greece__1_6_2_1_3 ADVP-NIM n4_a_history_of_greece__1_6_2_1->n4_a_history_of_greece__1_6_2_1_3 n4_a_history_of_greece__1_6_2_1_4 NP-PRD n4_a_history_of_greece__1_6_2_1->n4_a_history_of_greece__1_6_2_1_4 n4_a_history_of_greece__1_6_2_1_1_1 RPRO n4_a_history_of_greece__1_6_2_1_1->n4_a_history_of_greece__1_6_2_1_1_1 n4_a_history_of_greece__1_6_2_1_1_1->n4_a_history_of_greece__1_6_2_1_1_1_1 n4_a_history_of_greece__1_6_2_1_2->n4_a_history_of_greece__1_6_2_1_2_1 n4_a_history_of_greece__1_6_2_1_3_1 ADV n4_a_history_of_greece__1_6_2_1_3->n4_a_history_of_greece__1_6_2_1_3_1 n4_a_history_of_greece__1_6_2_1_3_1->n4_a_history_of_greece__1_6_2_1_3_1_1 n4_a_history_of_greece__1_6_2_1_4_1 NPR n4_a_history_of_greece__1_6_2_1_4->n4_a_history_of_greece__1_6_2_1_4_1 n4_a_history_of_greece__1_6_2_1_4_1->n4_a_history_of_greece__1_6_2_1_4_1_1 n4_a_history_of_greece__1_7_1 IP-INF2 n4_a_history_of_greece__1_7->n4_a_history_of_greece__1_7_1 n4_a_history_of_greece__1_7_1_1 TO n4_a_history_of_greece__1_7_1->n4_a_history_of_greece__1_7_1_1 n4_a_history_of_greece__1_7_1_2 VB;_Tn_ n4_a_history_of_greece__1_7_1->n4_a_history_of_greece__1_7_1_2 n4_a_history_of_greece__1_7_1_3 NP-OB1 n4_a_history_of_greece__1_7_1->n4_a_history_of_greece__1_7_1_3 n4_a_history_of_greece__1_7_1_1->n4_a_history_of_greece__1_7_1_1_1 n4_a_history_of_greece__1_7_1_2->n4_a_history_of_greece__1_7_1_2_1 n4_a_history_of_greece__1_7_1_3_1 NP-GEN n4_a_history_of_greece__1_7_1_3->n4_a_history_of_greece__1_7_1_3_1 n4_a_history_of_greece__1_7_1_3_2 NS n4_a_history_of_greece__1_7_1_3->n4_a_history_of_greece__1_7_1_3_2 n4_a_history_of_greece__1_7_1_3_1_1 PRO;_genm_ n4_a_history_of_greece__1_7_1_3_1->n4_a_history_of_greece__1_7_1_3_1_1 n4_a_history_of_greece__1_7_1_3_1_1->n4_a_history_of_greece__1_7_1_3_1_1_1 n4_a_history_of_greece__1_7_1_3_2->n4_a_history_of_greece__1_7_1_3_2_1 n4_a_history_of_greece__1_8->n4_a_history_of_greece__1_8_1
( (IP-MAT (NP-NIM (ADVP (ADV Around;{around}))
                  (NPR 7000)
                  (NPR b<dot>c<dot>))
          (PUNC ,)
          (NP-SBJ;{PHOENICIANS} (D the;{the})
                                (NPRS Phoenicians;{Phoenicians}))
          (VBD;_phr_Vp.pr_ set;{set[out,from]})
          (RP out;{out})
          (PP-CLR (P-ROLE from;{from})
                  (NP (IP-REL (NP-SBJ (RPRO what;{what}))
                              (BEP;_Ln_ is;{be})
                              (ADVP-NIM (ADV now;{now}))
                              (NP-PRD (NPR Iran;{Iran})))))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Tn_ explore;{explore})
                            (NP-OB1 (NP-GEN;{PHOENICIANS} (PRO;_genm_ their;{their}))
                                    (NS surroundings;{surroundings}))))
          (PUNC .))
  (ID 4_a_history_of_greece))



%3 z_0004_5005 r_0004_0015__explore explore z_0004_5005->r_0004_0015__explore [restriction] r_0004_0007__set_r_0004_0008__out set out z_0004_5005->r_0004_0007__set_r_0004_0008__out [scope] r_0004_0017__surroundings surroundings r_0004_0015__explore->r_0004_0017__surroundings [arg1] r_0004_0005__the_r_0004_0006__Phoenicians the Phoenicians r_0004_0015__explore->r_0004_0005__the_r_0004_0006__Phoenicians [arg0] r_0004_0007__set_r_0004_0008__out->r_0004_0005__the_r_0004_0006__Phoenicians [arg0] r_0004_0010__what what r_0004_0007__set_r_0004_0008__out->r_0004_0010__what from [clr] r_0004_0002__7000_r_0004_0003__b_dot_c_dot_ 7000 b.c. r_0004_0007__set_r_0004_0008__out->r_0004_0002__7000_r_0004_0003__b_dot_c_dot_ [nim] r_0004_0017__surroundings->r_0004_0005__the_r_0004_0006__Phoenicians [gen] r_0004_0011__is is r_0004_0013__Iran Iran r_0004_0011__is->r_0004_0013__Iran [prd] r_0004_0012__now now r_0004_0011__is->r_0004_0012__now [nim] r_0004_0011__is->r_0004_0010__what [arg0] r_0004_0001__Around Around r_0004_0002__7000_r_0004_0003__b_dot_c_dot_->r_0004_0001__Around [qual]
arc(r_0004_0002__7000_r_0004_0003__b_dot_c_dot_,r_0004_0001__Around,qual).
arc(r_0004_0007__set_r_0004_0008__out,r_0004_0002__7000_r_0004_0003__b_dot_c_dot_,nim).
arc(r_0004_0007__set_r_0004_0008__out,r_0004_0005__the_r_0004_0006__Phoenicians,arg0).
arc(r_0004_0007__set_r_0004_0008__out,r_0004_0010__what,r_0004_0009__from__clr).
arc(r_0004_0011__is,r_0004_0010__what,arg0).
arc(r_0004_0011__is,r_0004_0012__now,nim).
arc(r_0004_0011__is,r_0004_0013__Iran,prd).
arc(r_0004_0015__explore,r_0004_0005__the_r_0004_0006__Phoenicians,arg0).
arc(r_0004_0015__explore,r_0004_0017__surroundings,arg1).
arc(r_0004_0017__surroundings,r_0004_0005__the_r_0004_0006__Phoenicians,gen).
arc(z_0004_5005,r_0004_0007__set_r_0004_0008__out,scope).
arc(z_0004_5005,r_0004_0015__explore,restriction).



%3 r_0004_0002__7000_r_0004_0003__b_dot_c_dot_ 7000 b.c. r_0004_0001__Around Around r_0004_0002__7000_r_0004_0003__b_dot_c_dot_->r_0004_0001__Around [qual] r_0004_0007__set_r_0004_0008__out set out r_0004_0007__set_r_0004_0008__out->r_0004_0002__7000_r_0004_0003__b_dot_c_dot_ [nim] r_0004_0005__the_r_0004_0006__Phoenicians the Phoenicians r_0004_0007__set_r_0004_0008__out->r_0004_0005__the_r_0004_0006__Phoenicians [arg0] r_0004_0010__what what r_0004_0007__set_r_0004_0008__out->r_0004_0010__what from [clr] r_0004_0011__is is r_0004_0011__is->r_0004_0010__what [arg0] r_0004_0012__now now r_0004_0011__is->r_0004_0012__now [nim] r_0004_0013__Iran Iran r_0004_0011__is->r_0004_0013__Iran [prd] r_0004_0015__explore explore r_0004_0015__explore->r_0004_0005__the_r_0004_0006__Phoenicians [arg0] r_0004_0017__surroundings surroundings r_0004_0015__explore->r_0004_0017__surroundings [arg1] r_0004_0017__surroundings->r_0004_0005__the_r_0004_0006__Phoenicians [gen] z_0004_5005 z_0004_5005->r_0004_0007__set_r_0004_0008__out [conj2] z_0004_5005->r_0004_0015__explore [conj1]
fof(formula,axiom,
    ? [R_0004_0010__WHAT,R_0004_0012__NOW,R_0004_0013__IRAN,R_0004_0011__IS,R_0004_0001__AROUND,R_0004_0002__7000_R_0004_0003__B_DOT_C_DOT_,R_0004_0005__THE_R_0004_0006__PHOENICIANS,R_0004_0007__SET_R_0004_0008__OUT,R_0004_0017__SURROUNDINGS,R_0004_0015__EXPLORE,Z_0004_5005] :
      ( r_0004_0001__Around(R_0004_0001__AROUND)
      & r_0004_0005__the_r_0004_0006__Phoenicians(R_0004_0005__THE_R_0004_0006__PHOENICIANS)
      & r_0004_0010__what(R_0004_0010__WHAT)
      & r_0004_0012__now(R_0004_0012__NOW)
      & r_0004_0013__Iran(R_0004_0013__IRAN)
      & z_0004_5005(Z_0004_5005)
      & has_conj1(Z_0004_5005,R_0004_0015__EXPLORE)
      & r_0004_0015__explore(R_0004_0015__EXPLORE)
      & has_arg1(R_0004_0015__EXPLORE,R_0004_0017__SURROUNDINGS)
      & r_0004_0017__surroundings(R_0004_0017__SURROUNDINGS)
      & has_gen(R_0004_0017__SURROUNDINGS,R_0004_0005__THE_R_0004_0006__PHOENICIANS)
      & has_arg0(R_0004_0015__EXPLORE,R_0004_0005__THE_R_0004_0006__PHOENICIANS)
      & has_conj2(Z_0004_5005,R_0004_0007__SET_R_0004_0008__OUT)
      & r_0004_0007__set_r_0004_0008__out(R_0004_0007__SET_R_0004_0008__OUT)
      & has_r_0004_0009__from__clr(R_0004_0007__SET_R_0004_0008__OUT,R_0004_0010__WHAT)
      & has_arg0(R_0004_0007__SET_R_0004_0008__OUT,R_0004_0005__THE_R_0004_0006__PHOENICIANS)
      & has_nim(R_0004_0007__SET_R_0004_0008__OUT,R_0004_0002__7000_R_0004_0003__B_DOT_C_DOT_)
      & r_0004_0002__7000_r_0004_0003__b_dot_c_dot_(R_0004_0002__7000_R_0004_0003__B_DOT_C_DOT_)
      & has_qual(R_0004_0002__7000_R_0004_0003__B_DOT_C_DOT_,R_0004_0001__AROUND)
      & r_0004_0011__is(R_0004_0011__IS)
      & has_prd(R_0004_0011__IS,R_0004_0013__IRAN)
      & has_nim(R_0004_0011__IS,R_0004_0012__NOW)
      & has_arg0(R_0004_0011__IS,R_0004_0010__WHAT) ) ).