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_0018__settlement settlement r_0039_0019__inland inland r_0039_0018__settlement->r_0039_0019__inland [qual] r_0039_0017__little little r_0039_0018__settlement->r_0039_0017__little [attrib] r_0039_0015__towns towns r_0039_0013__coastal coastal r_0039_0015__towns->r_0039_0013__coastal [attrib] r_0039_0014__trading trading r_0039_0014__trading->r_0039_0015__towns [arg0] r_0039_0003__that_r_0039_0010__lived that lived r_0039_0003__that_r_0039_0010__lived->r_0039_0018__settlement with [nim] r_0039_0003__that_r_0039_0010__lived->r_0039_0015__towns in [clr] r_0039_0011__mainly mainly r_0039_0003__that_r_0039_0010__lived->r_0039_0011__mainly [nim] r_0039_0009__societies societies r_0039_0003__that_r_0039_0010__lived->r_0039_0009__societies [arg0] 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_0002__shows shows r_0039_0002__shows->r_0039_0003__that_r_0039_0010__lived [arg1] r_0039_0001__Archaeology Archaeology r_0039_0002__shows->r_0039_0001__Archaeology [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__1_1_1_1 Archaeology n39_a_history_of_greece__1_2_1 shows n39_a_history_of_greece__1_3_1_1_1 that n39_a_history_of_greece__1_3_1_2_1 , n39_a_history_of_greece__1_3_1_3_1_1 during n39_a_history_of_greece__1_3_1_3_2_1_1 this n39_a_history_of_greece__1_3_1_3_2_2_1 time n39_a_history_of_greece__1_3_1_4_1 , n39_a_history_of_greece__1_3_1_5_1_1 societies n39_a_history_of_greece__1_3_1_6_1 lived n39_a_history_of_greece__1_3_1_7_1_1 mainly n39_a_history_of_greece__1_3_1_8_1_1 in n39_a_history_of_greece__1_3_1_8_2_1_1_1 coastal n39_a_history_of_greece__1_3_1_8_2_2_1_1 trading n39_a_history_of_greece__1_3_1_8_2_3_1 towns n39_a_history_of_greece__1_3_1_9_1_1 with n39_a_history_of_greece__1_3_1_9_2_1_1_1 little n39_a_history_of_greece__1_3_1_9_2_2_1 settlement n39_a_history_of_greece__1_3_1_9_2_3_1_1 inland n39_a_history_of_greece__1_4_1 . n39_a_history_of_greece__1 IP-MAT n39_a_history_of_greece__1_1 NP-SBJ n39_a_history_of_greece__1->n39_a_history_of_greece__1_1 n39_a_history_of_greece__1_2 VBP;_Tf_ n39_a_history_of_greece__1->n39_a_history_of_greece__1_2 n39_a_history_of_greece__1_3 CP-THT-OB1 n39_a_history_of_greece__1->n39_a_history_of_greece__1_3 n39_a_history_of_greece__1_4 PUNC n39_a_history_of_greece__1->n39_a_history_of_greece__1_4 n39_a_history_of_greece__1_1_1 N n39_a_history_of_greece__1_1->n39_a_history_of_greece__1_1_1 n39_a_history_of_greece__1_1_1->n39_a_history_of_greece__1_1_1_1 n39_a_history_of_greece__1_2->n39_a_history_of_greece__1_2_1 n39_a_history_of_greece__1_3_1 IP-SUB n39_a_history_of_greece__1_3->n39_a_history_of_greece__1_3_1 n39_a_history_of_greece__1_3_1_1 C n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_1 n39_a_history_of_greece__1_3_1_2 PUNC n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_2 n39_a_history_of_greece__1_3_1_3 PP-NIM n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_3 n39_a_history_of_greece__1_3_1_4 PUNC n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_4 n39_a_history_of_greece__1_3_1_5 NP-SBJ n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_5 n39_a_history_of_greece__1_3_1_6 VBD;_Ipr_ n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_6 n39_a_history_of_greece__1_3_1_7 ADVP-NIM n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_7 n39_a_history_of_greece__1_3_1_8 PP-CLR n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_8 n39_a_history_of_greece__1_3_1_9 PP-NIM n39_a_history_of_greece__1_3_1->n39_a_history_of_greece__1_3_1_9 n39_a_history_of_greece__1_3_1_1->n39_a_history_of_greece__1_3_1_1_1 n39_a_history_of_greece__1_3_1_2->n39_a_history_of_greece__1_3_1_2_1 n39_a_history_of_greece__1_3_1_3_1 P-ROLE n39_a_history_of_greece__1_3_1_3->n39_a_history_of_greece__1_3_1_3_1 n39_a_history_of_greece__1_3_1_3_2 NP n39_a_history_of_greece__1_3_1_3->n39_a_history_of_greece__1_3_1_3_2 n39_a_history_of_greece__1_3_1_3_1->n39_a_history_of_greece__1_3_1_3_1_1 n39_a_history_of_greece__1_3_1_3_2_1 D n39_a_history_of_greece__1_3_1_3_2->n39_a_history_of_greece__1_3_1_3_2_1 n39_a_history_of_greece__1_3_1_3_2_2 N n39_a_history_of_greece__1_3_1_3_2->n39_a_history_of_greece__1_3_1_3_2_2 n39_a_history_of_greece__1_3_1_3_2_1->n39_a_history_of_greece__1_3_1_3_2_1_1 n39_a_history_of_greece__1_3_1_3_2_2->n39_a_history_of_greece__1_3_1_3_2_2_1 n39_a_history_of_greece__1_3_1_4->n39_a_history_of_greece__1_3_1_4_1 n39_a_history_of_greece__1_3_1_5_1 NS n39_a_history_of_greece__1_3_1_5->n39_a_history_of_greece__1_3_1_5_1 n39_a_history_of_greece__1_3_1_5_1->n39_a_history_of_greece__1_3_1_5_1_1 n39_a_history_of_greece__1_3_1_6->n39_a_history_of_greece__1_3_1_6_1 n39_a_history_of_greece__1_3_1_7_1 ADV n39_a_history_of_greece__1_3_1_7->n39_a_history_of_greece__1_3_1_7_1 n39_a_history_of_greece__1_3_1_7_1->n39_a_history_of_greece__1_3_1_7_1_1 n39_a_history_of_greece__1_3_1_8_1 P-ROLE n39_a_history_of_greece__1_3_1_8->n39_a_history_of_greece__1_3_1_8_1 n39_a_history_of_greece__1_3_1_8_2 NP n39_a_history_of_greece__1_3_1_8->n39_a_history_of_greece__1_3_1_8_2 n39_a_history_of_greece__1_3_1_8_1->n39_a_history_of_greece__1_3_1_8_1_1 n39_a_history_of_greece__1_3_1_8_2_1 ADJP n39_a_history_of_greece__1_3_1_8_2->n39_a_history_of_greece__1_3_1_8_2_1 n39_a_history_of_greece__1_3_1_8_2_2 IP-PPL n39_a_history_of_greece__1_3_1_8_2->n39_a_history_of_greece__1_3_1_8_2_2 n39_a_history_of_greece__1_3_1_8_2_3 NS n39_a_history_of_greece__1_3_1_8_2->n39_a_history_of_greece__1_3_1_8_2_3 n39_a_history_of_greece__1_3_1_8_2_1_1 ADJ n39_a_history_of_greece__1_3_1_8_2_1->n39_a_history_of_greece__1_3_1_8_2_1_1 n39_a_history_of_greece__1_3_1_8_2_1_1->n39_a_history_of_greece__1_3_1_8_2_1_1_1 n39_a_history_of_greece__1_3_1_8_2_2_1 VAG;_I_ n39_a_history_of_greece__1_3_1_8_2_2->n39_a_history_of_greece__1_3_1_8_2_2_1 n39_a_history_of_greece__1_3_1_8_2_2_1->n39_a_history_of_greece__1_3_1_8_2_2_1_1 n39_a_history_of_greece__1_3_1_8_2_3->n39_a_history_of_greece__1_3_1_8_2_3_1 n39_a_history_of_greece__1_3_1_9_1 P-ROLE n39_a_history_of_greece__1_3_1_9->n39_a_history_of_greece__1_3_1_9_1 n39_a_history_of_greece__1_3_1_9_2 NP n39_a_history_of_greece__1_3_1_9->n39_a_history_of_greece__1_3_1_9_2 n39_a_history_of_greece__1_3_1_9_1->n39_a_history_of_greece__1_3_1_9_1_1 n39_a_history_of_greece__1_3_1_9_2_1 ADJP n39_a_history_of_greece__1_3_1_9_2->n39_a_history_of_greece__1_3_1_9_2_1 n39_a_history_of_greece__1_3_1_9_2_2 N n39_a_history_of_greece__1_3_1_9_2->n39_a_history_of_greece__1_3_1_9_2_2 n39_a_history_of_greece__1_3_1_9_2_3 ADVP-NIM n39_a_history_of_greece__1_3_1_9_2->n39_a_history_of_greece__1_3_1_9_2_3 n39_a_history_of_greece__1_3_1_9_2_1_1 ADJ n39_a_history_of_greece__1_3_1_9_2_1->n39_a_history_of_greece__1_3_1_9_2_1_1 n39_a_history_of_greece__1_3_1_9_2_1_1->n39_a_history_of_greece__1_3_1_9_2_1_1_1 n39_a_history_of_greece__1_3_1_9_2_2->n39_a_history_of_greece__1_3_1_9_2_2_1 n39_a_history_of_greece__1_3_1_9_2_3_1 ADV n39_a_history_of_greece__1_3_1_9_2_3->n39_a_history_of_greece__1_3_1_9_2_3_1 n39_a_history_of_greece__1_3_1_9_2_3_1->n39_a_history_of_greece__1_3_1_9_2_3_1_1 n39_a_history_of_greece__1_4->n39_a_history_of_greece__1_4_1 
( (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))