4_a_history_of_greece
Around 7000 b.c., the Phoenicians set out from what is now Iran to explore their surroundings.
( (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))
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).
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) ) ).