39_a_history_of_greece
Archaeology shows that, during this time, societies lived mainly in coastal trading towns with little settlement inland.
( (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))
arc(r_0039_0002__shows,r_0039_0001__Archaeology,arg0).
arc(r_0039_0002__shows,r_0039_0010__lived_r_0039_0012__in,arg1).
arc(r_0039_0010__lived_r_0039_0012__in,r_0039_0006__this_r_0039_0007__time,r_0039_0005__during__nim).
arc(r_0039_0010__lived_r_0039_0012__in,r_0039_0009__societies,arg0).
arc(r_0039_0010__lived_r_0039_0012__in,r_0039_0011__mainly,nim).
arc(r_0039_0010__lived_r_0039_0012__in,r_0039_0015__towns,arg1).
arc(r_0039_0010__lived_r_0039_0012__in,r_0039_0018__settlement,r_0039_0016__with__nim).
arc(r_0039_0014__trading,r_0039_0015__towns,inv_arg0).
arc(r_0039_0015__towns,r_0039_0013__coastal,attrib).
arc(r_0039_0018__settlement,r_0039_0017__little,attrib).
arc(r_0039_0018__settlement,r_0039_0019__inland,nim).
fof(formula,axiom,
? [R_0039_0001__ARCHAEOLOGY,R_0039_0006__THIS_R_0039_0007__TIME,R_0039_0009__SOCIETIES,R_0039_0011__MAINLY,R_0039_0014__TRADING,R_0039_0013__COASTAL,R_0039_0015__TOWNS,R_0039_0017__LITTLE,R_0039_0019__INLAND,R_0039_0018__SETTLEMENT,R_0039_0010__LIVED_R_0039_0012__IN,R_0039_0002__SHOWS] :
( r_0039_0001__Archaeology(R_0039_0001__ARCHAEOLOGY)
& r_0039_0006__this_r_0039_0007__time(R_0039_0006__THIS_R_0039_0007__TIME)
& r_0039_0009__societies(R_0039_0009__SOCIETIES)
& r_0039_0011__mainly(R_0039_0011__MAINLY)
& r_0039_0013__coastal(R_0039_0013__COASTAL)
& r_0039_0014__trading(R_0039_0014__TRADING)
& r_0039_0017__little(R_0039_0017__LITTLE)
& r_0039_0019__inland(R_0039_0019__INLAND)
& r_0039_0002__shows(R_0039_0002__SHOWS)
& has_arg1(R_0039_0002__SHOWS,R_0039_0010__LIVED_R_0039_0012__IN)
& r_0039_0010__lived_r_0039_0012__in(R_0039_0010__LIVED_R_0039_0012__IN)
& has_r_0039_0016__with__nim(R_0039_0010__LIVED_R_0039_0012__IN,R_0039_0018__SETTLEMENT)
& r_0039_0018__settlement(R_0039_0018__SETTLEMENT)
& has_nim(R_0039_0018__SETTLEMENT,R_0039_0019__INLAND)
& has_attrib(R_0039_0018__SETTLEMENT,R_0039_0017__LITTLE)
& has_arg1(R_0039_0010__LIVED_R_0039_0012__IN,R_0039_0015__TOWNS)
& r_0039_0015__towns(R_0039_0015__TOWNS)
& has_attrib(R_0039_0015__TOWNS,R_0039_0013__COASTAL)
& has_inv_arg0(R_0039_0015__TOWNS,R_0039_0014__TRADING)
& has_nim(R_0039_0010__LIVED_R_0039_0012__IN,R_0039_0011__MAINLY)
& has_arg0(R_0039_0010__LIVED_R_0039_0012__IN,R_0039_0009__SOCIETIES)
& has_r_0039_0005__during__nim(R_0039_0010__LIVED_R_0039_0012__IN,R_0039_0006__THIS_R_0039_0007__TIME)
& has_arg0(R_0039_0002__SHOWS,R_0039_0001__ARCHAEOLOGY) ) ).