Context                Previous, Next                Top


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

%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] z_000_4_a_history_of_greece_24 r_0004_0007__set_r_0004_0008__out->z_000_4_a_history_of_greece_24 from [clr] r_0004_0011__is is r_0004_0011__is->z_000_4_a_history_of_greece_24 [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_0014__to_r_0004_0015__explore to explore r_0004_0014__to_r_0004_0015__explore->r_0004_0005__the_r_0004_0006__Phoenicians [arg0] r_0004_0017__surroundings surroundings r_0004_0014__to_r_0004_0015__explore->r_0004_0017__surroundings [arg1] r_0004_0017__surroundings->r_0004_0005__the_r_0004_0006__Phoenicians [gen] z_000_4_a_history_of_greece_37 z_000_4_a_history_of_greece_37->r_0004_0007__set_r_0004_0008__out [scope] z_000_4_a_history_of_greece_37->r_0004_0014__to_r_0004_0015__explore [restriction] 
arc(r_0004_0002__7000_r_0004_0003__b_dot_c_dot_, r_0004_0001__Around, qual3).
arc(r_0004_0007__set_r_0004_0008__out, r_0004_0002__7000_r_0004_0003__b_dot_c_dot_, nim2).
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, z_000_4_a_history_of_greece_24, r_0004_0009__from_clr24).
arc(r_0004_0011__is, r_0004_0012__now, nim31).
arc(r_0004_0011__is, r_0004_0013__Iran, prd).
arc(r_0004_0011__is, z_000_4_a_history_of_greece_24, arg0).
arc(r_0004_0014__to_r_0004_0015__explore, r_0004_0005__the_r_0004_0006__Phoenicians, arg0).
arc(r_0004_0014__to_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_000_4_a_history_of_greece_37, r_0004_0007__set_r_0004_0008__out, scope).
arc(z_000_4_a_history_of_greece_37, r_0004_0014__to_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] z_000_4_a_history_of_greece_24 r_0004_0007__set_r_0004_0008__out->z_000_4_a_history_of_greece_24 from [clr] r_0004_0011__is is r_0004_0011__is->z_000_4_a_history_of_greece_24 [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_0014__to_r_0004_0015__explore to explore r_0004_0014__to_r_0004_0015__explore->r_0004_0005__the_r_0004_0006__Phoenicians [arg0] r_0004_0017__surroundings surroundings r_0004_0014__to_r_0004_0015__explore->r_0004_0017__surroundings [arg1] r_0004_0017__surroundings->r_0004_0005__the_r_0004_0006__Phoenicians [gen] z_000_4_a_history_of_greece_37 z_000_4_a_history_of_greece_37->r_0004_0007__set_r_0004_0008__out [conj2] z_000_4_a_history_of_greece_37->r_0004_0014__to_r_0004_0015__explore [conj1] 
fof(formula,axiom,
    ? [R_4_11_IS,R_4_12_NOW,R_4_13_IRAN,Z_4_A_HISTORY_OF_GREECE_37,R_4_14_TO_EXPLORE,R_4_17_SURROUNDINGS,R_4_7_SET_OUT,R_4_5_THE_PHOENICIANS,R_4_2_7000_B_DOT_C_DOT_,R_4_1_AROUND,Z_4_A_HISTORY_OF_GREECE_24] :
      ( now(R_4_12_NOW)
      & iran(R_4_13_IRAN)
      & the_Phoenicians(R_4_5_THE_PHOENICIANS)
      & around(R_4_1_AROUND)
      & is(R_4_11_IS,Z_4_A_HISTORY_OF_GREECE_24,R_4_13_IRAN)
      & nim31(R_4_11_IS,R_4_12_NOW)
      & z_4_a_history_of_greece_37(Z_4_A_HISTORY_OF_GREECE_37)
      & conj1(Z_4_A_HISTORY_OF_GREECE_37,R_4_14_TO_EXPLORE)
      & to_explore(R_4_14_TO_EXPLORE,R_4_5_THE_PHOENICIANS,R_4_17_SURROUNDINGS)
      & surroundings(R_4_17_SURROUNDINGS)
      & gen(R_4_17_SURROUNDINGS,R_4_5_THE_PHOENICIANS)
      & conj2(Z_4_A_HISTORY_OF_GREECE_37,R_4_7_SET_OUT)
      & set_out(R_4_7_SET_OUT,R_4_5_THE_PHOENICIANS)
      & nim2(R_4_7_SET_OUT,R_4_2_7000_B_DOT_C_DOT_)
      & 7000_b_dot_c_dot_(R_4_2_7000_B_DOT_C_DOT_)
      & qual3(R_4_2_7000_B_DOT_C_DOT_,R_4_1_AROUND)
      & from_clr24(R_4_7_SET_OUT,Z_4_A_HISTORY_OF_GREECE_24) ) ).


n4_a_history_of_greece n4_a_history_of_greece_5 Around n4_a_history_of_greece_7 7000 n4_a_history_of_greece_9 b.c. n4_a_history_of_greece_11 , n4_a_history_of_greece_14 the n4_a_history_of_greece_16 Phoenicians n4_a_history_of_greece_18 set n4_a_history_of_greece_20 out n4_a_history_of_greece_23 from n4_a_history_of_greece_28 what n4_a_history_of_greece_30 is n4_a_history_of_greece_33 now n4_a_history_of_greece_36 Iran n4_a_history_of_greece_40 to n4_a_history_of_greece_42 explore n4_a_history_of_greece_46 their n4_a_history_of_greece_48 surroundings n4_a_history_of_greece_50 . n4_a_history_of_greece_1 IP-MAT n4_a_history_of_greece_2 NP-NIM n4_a_history_of_greece_1->n4_a_history_of_greece_2 n4_a_history_of_greece_10 PUNC n4_a_history_of_greece_1->n4_a_history_of_greece_10 n4_a_history_of_greece_12 NP-SBJ n4_a_history_of_greece_1->n4_a_history_of_greece_12 n4_a_history_of_greece_17 VBD;_phr_Vp.pr_ n4_a_history_of_greece_1->n4_a_history_of_greece_17 n4_a_history_of_greece_19 RP n4_a_history_of_greece_1->n4_a_history_of_greece_19 n4_a_history_of_greece_21 PP-CLR n4_a_history_of_greece_1->n4_a_history_of_greece_21 n4_a_history_of_greece_37 PP-SCON n4_a_history_of_greece_1->n4_a_history_of_greece_37 n4_a_history_of_greece_49 PUNC n4_a_history_of_greece_1->n4_a_history_of_greece_49 n4_a_history_of_greece_3 ADVP n4_a_history_of_greece_2->n4_a_history_of_greece_3 n4_a_history_of_greece_6 NPR n4_a_history_of_greece_2->n4_a_history_of_greece_6 n4_a_history_of_greece_8 NPR n4_a_history_of_greece_2->n4_a_history_of_greece_8 n4_a_history_of_greece_4 ADV n4_a_history_of_greece_3->n4_a_history_of_greece_4 n4_a_history_of_greece_4->n4_a_history_of_greece_5 n4_a_history_of_greece_6->n4_a_history_of_greece_7 n4_a_history_of_greece_8->n4_a_history_of_greece_9 n4_a_history_of_greece_10->n4_a_history_of_greece_11 n4_a_history_of_greece_13 D n4_a_history_of_greece_12->n4_a_history_of_greece_13 n4_a_history_of_greece_15 NPRS n4_a_history_of_greece_12->n4_a_history_of_greece_15 n4_a_history_of_greece_13->n4_a_history_of_greece_14 n4_a_history_of_greece_15->n4_a_history_of_greece_16 n4_a_history_of_greece_17->n4_a_history_of_greece_18 n4_a_history_of_greece_19->n4_a_history_of_greece_20 n4_a_history_of_greece_22 P-ROLE n4_a_history_of_greece_21->n4_a_history_of_greece_22 n4_a_history_of_greece_24 NP n4_a_history_of_greece_21->n4_a_history_of_greece_24 n4_a_history_of_greece_22->n4_a_history_of_greece_23 n4_a_history_of_greece_25 IP-REL n4_a_history_of_greece_24->n4_a_history_of_greece_25 n4_a_history_of_greece_26 NP-SBJ n4_a_history_of_greece_25->n4_a_history_of_greece_26 n4_a_history_of_greece_29 BEP;_Ln_ n4_a_history_of_greece_25->n4_a_history_of_greece_29 n4_a_history_of_greece_31 ADVP-NIM n4_a_history_of_greece_25->n4_a_history_of_greece_31 n4_a_history_of_greece_34 NP-PRD n4_a_history_of_greece_25->n4_a_history_of_greece_34 n4_a_history_of_greece_27 RPRO n4_a_history_of_greece_26->n4_a_history_of_greece_27 n4_a_history_of_greece_27->n4_a_history_of_greece_28 n4_a_history_of_greece_29->n4_a_history_of_greece_30 n4_a_history_of_greece_32 ADV n4_a_history_of_greece_31->n4_a_history_of_greece_32 n4_a_history_of_greece_32->n4_a_history_of_greece_33 n4_a_history_of_greece_35 NPR n4_a_history_of_greece_34->n4_a_history_of_greece_35 n4_a_history_of_greece_35->n4_a_history_of_greece_36 n4_a_history_of_greece_38 IP-INF2 n4_a_history_of_greece_37->n4_a_history_of_greece_38 n4_a_history_of_greece_39 TO n4_a_history_of_greece_38->n4_a_history_of_greece_39 n4_a_history_of_greece_41 VB;_Tn_ n4_a_history_of_greece_38->n4_a_history_of_greece_41 n4_a_history_of_greece_43 NP-OB1 n4_a_history_of_greece_38->n4_a_history_of_greece_43 n4_a_history_of_greece_39->n4_a_history_of_greece_40 n4_a_history_of_greece_41->n4_a_history_of_greece_42 n4_a_history_of_greece_44 NP-GEN n4_a_history_of_greece_43->n4_a_history_of_greece_44 n4_a_history_of_greece_47 NS n4_a_history_of_greece_43->n4_a_history_of_greece_47 n4_a_history_of_greece_45 PRO;_genm_ n4_a_history_of_greece_44->n4_a_history_of_greece_45 n4_a_history_of_greece_45->n4_a_history_of_greece_46 n4_a_history_of_greece_47->n4_a_history_of_greece_48 n4_a_history_of_greece_49->n4_a_history_of_greece_50 
( (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))