Context                Previous, Next                Top


39_a_history_of_greece
Archaeology shows that, during this time, societies lived mainly in coastal trading towns with little settlement inland.

%3 r_0039_0002__shows shows r_0039_0001__Archaeology Archaeology r_0039_0002__shows->r_0039_0001__Archaeology [arg0] r_0039_0003__that_r_0039_0010__lived that lived r_0039_0002__shows->r_0039_0003__that_r_0039_0010__lived [arg1] r_0039_0006__this_r_0039_0007__time this time r_0039_0003__that_r_0039_0010__lived->r_0039_0006__this_r_0039_0007__time during [nim] r_0039_0009__societies societies r_0039_0003__that_r_0039_0010__lived->r_0039_0009__societies [arg0] r_0039_0011__mainly mainly r_0039_0003__that_r_0039_0010__lived->r_0039_0011__mainly [nim] r_0039_0015__towns towns r_0039_0003__that_r_0039_0010__lived->r_0039_0015__towns in [clr] r_0039_0018__settlement settlement r_0039_0003__that_r_0039_0010__lived->r_0039_0018__settlement with [nim] r_0039_0013__coastal coastal r_0039_0015__towns->r_0039_0013__coastal [attrib] r_0039_0017__little little r_0039_0018__settlement->r_0039_0017__little [attrib] r_0039_0019__inland inland r_0039_0018__settlement->r_0039_0019__inland [qual] r_0039_0014__trading trading r_0039_0014__trading->r_0039_0015__towns [arg0] 
arc(r_0039_0002__shows, r_0039_0001__Archaeology, arg0).
arc(r_0039_0002__shows, r_0039_0003__that_r_0039_0010__lived, arg1).
arc(r_0039_0003__that_r_0039_0010__lived, r_0039_0006__this_r_0039_0007__time, r_0039_0005__during_nim16).
arc(r_0039_0003__that_r_0039_0010__lived, r_0039_0009__societies, arg0).
arc(r_0039_0003__that_r_0039_0010__lived, r_0039_0011__mainly, nim28).
arc(r_0039_0003__that_r_0039_0010__lived, r_0039_0015__towns, r_0039_0012__in_clr34).
arc(r_0039_0003__that_r_0039_0010__lived, r_0039_0018__settlement, r_0039_0016__with_nim46).
arc(r_0039_0014__trading, r_0039_0015__towns, arg0).
arc(r_0039_0015__towns, r_0039_0013__coastal, attrib35).
arc(r_0039_0018__settlement, r_0039_0017__little, attrib47).
arc(r_0039_0018__settlement, r_0039_0019__inland, qual52).


%3 r_0039_0002__shows shows r_0039_0001__Archaeology Archaeology r_0039_0002__shows->r_0039_0001__Archaeology [arg0] r_0039_0003__that_r_0039_0010__lived that lived r_0039_0002__shows->r_0039_0003__that_r_0039_0010__lived [arg1] r_0039_0006__this_r_0039_0007__time this time r_0039_0003__that_r_0039_0010__lived->r_0039_0006__this_r_0039_0007__time during [nim] r_0039_0009__societies societies r_0039_0003__that_r_0039_0010__lived->r_0039_0009__societies [arg0] r_0039_0011__mainly mainly r_0039_0003__that_r_0039_0010__lived->r_0039_0011__mainly [nim] r_0039_0015__towns towns r_0039_0003__that_r_0039_0010__lived->r_0039_0015__towns in [clr] r_0039_0018__settlement settlement r_0039_0003__that_r_0039_0010__lived->r_0039_0018__settlement with [nim] r_0039_0013__coastal coastal r_0039_0015__towns->r_0039_0013__coastal [attrib] r_0039_0017__little little r_0039_0018__settlement->r_0039_0017__little [attrib] r_0039_0019__inland inland r_0039_0018__settlement->r_0039_0019__inland [qual] r_0039_0014__trading trading r_0039_0014__trading->r_0039_0015__towns [arg0] 
fof(formula,axiom,
    ? [R_39_2_SHOWS,R_39_1_ARCHAEOLOGY,R_39_3_THAT_LIVED,R_39_9_SOCIETIES,R_39_11_MAINLY,R_39_6_THIS_TIME,R_39_18_SETTLEMENT,R_39_17_LITTLE,R_39_19_INLAND,R_39_14_TRADING,R_39_15_TOWNS,R_39_13_COASTAL] :
      ( archaeology(R_39_1_ARCHAEOLOGY)
      & societies(R_39_9_SOCIETIES)
      & mainly(R_39_11_MAINLY)
      & this_time(R_39_6_THIS_TIME)
      & little(R_39_17_LITTLE)
      & inland(R_39_19_INLAND)
      & coastal(R_39_13_COASTAL)
      & shows(R_39_2_SHOWS,R_39_1_ARCHAEOLOGY,R_39_3_THAT_LIVED)
      & that_lived(R_39_3_THAT_LIVED,R_39_9_SOCIETIES)
      & nim28(R_39_3_THAT_LIVED,R_39_11_MAINLY)
      & during_nim16(R_39_3_THAT_LIVED,R_39_6_THIS_TIME)
      & in_clr34(R_39_3_THAT_LIVED,R_39_15_TOWNS)
      & towns(R_39_15_TOWNS)
      & attrib35(R_39_15_TOWNS,R_39_13_COASTAL)
      & with_nim46(R_39_3_THAT_LIVED,R_39_18_SETTLEMENT)
      & settlement(R_39_18_SETTLEMENT)
      & attrib47(R_39_18_SETTLEMENT,R_39_17_LITTLE)
      & qual52(R_39_18_SETTLEMENT,R_39_19_INLAND)
      & trading(R_39_14_TRADING,R_39_15_TOWNS) ) ).


n39_a_history_of_greece n39_a_history_of_greece_4 Archaeology n39_a_history_of_greece_6 shows n39_a_history_of_greece_10 that n39_a_history_of_greece_12 , n39_a_history_of_greece_15 during n39_a_history_of_greece_18 this n39_a_history_of_greece_20 time n39_a_history_of_greece_22 , n39_a_history_of_greece_25 societies n39_a_history_of_greece_27 lived n39_a_history_of_greece_30 mainly n39_a_history_of_greece_33 in n39_a_history_of_greece_37 coastal n39_a_history_of_greece_40 trading n39_a_history_of_greece_42 towns n39_a_history_of_greece_45 with n39_a_history_of_greece_49 little n39_a_history_of_greece_51 settlement n39_a_history_of_greece_54 inland n39_a_history_of_greece_56 . n39_a_history_of_greece_1 IP-MAT n39_a_history_of_greece_2 NP-SBJ n39_a_history_of_greece_1->n39_a_history_of_greece_2 n39_a_history_of_greece_5 VBP;_Tf_ n39_a_history_of_greece_1->n39_a_history_of_greece_5 n39_a_history_of_greece_7 CP-THT-OB1 n39_a_history_of_greece_1->n39_a_history_of_greece_7 n39_a_history_of_greece_55 PUNC n39_a_history_of_greece_1->n39_a_history_of_greece_55 n39_a_history_of_greece_3 N n39_a_history_of_greece_2->n39_a_history_of_greece_3 n39_a_history_of_greece_3->n39_a_history_of_greece_4 n39_a_history_of_greece_5->n39_a_history_of_greece_6 n39_a_history_of_greece_8 IP-SUB n39_a_history_of_greece_7->n39_a_history_of_greece_8 n39_a_history_of_greece_9 C n39_a_history_of_greece_8->n39_a_history_of_greece_9 n39_a_history_of_greece_11 PUNC n39_a_history_of_greece_8->n39_a_history_of_greece_11 n39_a_history_of_greece_13 PP-NIM n39_a_history_of_greece_8->n39_a_history_of_greece_13 n39_a_history_of_greece_21 PUNC n39_a_history_of_greece_8->n39_a_history_of_greece_21 n39_a_history_of_greece_23 NP-SBJ n39_a_history_of_greece_8->n39_a_history_of_greece_23 n39_a_history_of_greece_26 VBD;_Ipr_ n39_a_history_of_greece_8->n39_a_history_of_greece_26 n39_a_history_of_greece_28 ADVP-NIM n39_a_history_of_greece_8->n39_a_history_of_greece_28 n39_a_history_of_greece_31 PP-CLR n39_a_history_of_greece_8->n39_a_history_of_greece_31 n39_a_history_of_greece_43 PP-NIM n39_a_history_of_greece_8->n39_a_history_of_greece_43 n39_a_history_of_greece_9->n39_a_history_of_greece_10 n39_a_history_of_greece_11->n39_a_history_of_greece_12 n39_a_history_of_greece_14 P-ROLE n39_a_history_of_greece_13->n39_a_history_of_greece_14 n39_a_history_of_greece_16 NP n39_a_history_of_greece_13->n39_a_history_of_greece_16 n39_a_history_of_greece_14->n39_a_history_of_greece_15 n39_a_history_of_greece_17 D n39_a_history_of_greece_16->n39_a_history_of_greece_17 n39_a_history_of_greece_19 N n39_a_history_of_greece_16->n39_a_history_of_greece_19 n39_a_history_of_greece_17->n39_a_history_of_greece_18 n39_a_history_of_greece_19->n39_a_history_of_greece_20 n39_a_history_of_greece_21->n39_a_history_of_greece_22 n39_a_history_of_greece_24 NS n39_a_history_of_greece_23->n39_a_history_of_greece_24 n39_a_history_of_greece_24->n39_a_history_of_greece_25 n39_a_history_of_greece_26->n39_a_history_of_greece_27 n39_a_history_of_greece_29 ADV n39_a_history_of_greece_28->n39_a_history_of_greece_29 n39_a_history_of_greece_29->n39_a_history_of_greece_30 n39_a_history_of_greece_32 P-ROLE n39_a_history_of_greece_31->n39_a_history_of_greece_32 n39_a_history_of_greece_34 NP n39_a_history_of_greece_31->n39_a_history_of_greece_34 n39_a_history_of_greece_32->n39_a_history_of_greece_33 n39_a_history_of_greece_35 ADJP n39_a_history_of_greece_34->n39_a_history_of_greece_35 n39_a_history_of_greece_38 IP-PPL n39_a_history_of_greece_34->n39_a_history_of_greece_38 n39_a_history_of_greece_41 NS n39_a_history_of_greece_34->n39_a_history_of_greece_41 n39_a_history_of_greece_36 ADJ n39_a_history_of_greece_35->n39_a_history_of_greece_36 n39_a_history_of_greece_36->n39_a_history_of_greece_37 n39_a_history_of_greece_39 VAG;_I_ n39_a_history_of_greece_38->n39_a_history_of_greece_39 n39_a_history_of_greece_39->n39_a_history_of_greece_40 n39_a_history_of_greece_41->n39_a_history_of_greece_42 n39_a_history_of_greece_44 P-ROLE n39_a_history_of_greece_43->n39_a_history_of_greece_44 n39_a_history_of_greece_46 NP n39_a_history_of_greece_43->n39_a_history_of_greece_46 n39_a_history_of_greece_44->n39_a_history_of_greece_45 n39_a_history_of_greece_47 ADJP n39_a_history_of_greece_46->n39_a_history_of_greece_47 n39_a_history_of_greece_50 N n39_a_history_of_greece_46->n39_a_history_of_greece_50 n39_a_history_of_greece_52 ADVP-NIM n39_a_history_of_greece_46->n39_a_history_of_greece_52 n39_a_history_of_greece_48 ADJ n39_a_history_of_greece_47->n39_a_history_of_greece_48 n39_a_history_of_greece_48->n39_a_history_of_greece_49 n39_a_history_of_greece_50->n39_a_history_of_greece_51 n39_a_history_of_greece_53 ADV n39_a_history_of_greece_52->n39_a_history_of_greece_53 n39_a_history_of_greece_53->n39_a_history_of_greece_54 n39_a_history_of_greece_55->n39_a_history_of_greece_56 
( (IP-MAT (NP-SBJ (N Archaeology;{archaeology}))
          (VBP;_Tf_ shows;{show})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PUNC ,)
                              (PP-NIM (P-ROLE during;{during})
                                      (NP;{ERA776} (D this;{this})
                                                   (N time;{time})))
                              (PUNC ,)
                              (NP-SBJ (NS societies;{society}))
                              (VBD;_Ipr_ lived;{live[in]})
                              (ADVP-NIM (ADV mainly;{mainly}))
                              (PP-CLR (P-ROLE in;{in})
                                      (NP (ADJP (ADJ coastal;{coastal}))
                                          (IP-PPL (VAG;_I_ trading;{trade}))
                                          (NS towns;{town})))
                              (PP-NIM (P-ROLE with;{with})
                                      (NP (ADJP (ADJ little;{little}))
                                          (N settlement;{settlement})
                                          (ADVP-NIM (ADV inland;{inland}))))))
          (PUNC .))
  (ID 39_a_history_of_greece))