7_a_history_of_greece
Obsidian is a hard, vitreous volcanic rock, which could be fashioned into tools for cutting and stabbing.
arc(r_0007_0002__is, r_0007_0001__Obsidian, arg0).
arc(r_0007_0002__is, r_0007_0003__a_r_0007_0008__rock, prd).
arc(r_0007_0003__a_r_0007_0008__rock, r_0007_0004__hard, attrib10).
arc(r_0007_0003__a_r_0007_0008__rock, r_0007_0006__vitreous, attrib15).
arc(r_0007_0003__a_r_0007_0008__rock, r_0007_0007__volcanic, attrib18).
arc(r_0007_0011__could, r_0007_0012__be, scope).
arc(r_0007_0012__be, r_0007_0013__fashioned, scope).
arc(r_0007_0013__fashioned, r_0007_0003__a_r_0007_0008__rock, arg1).
arc(r_0007_0013__fashioned, r_0007_0015__tools, r_0007_0014__into_clr42).
arc(r_0007_0013__fashioned, z_000_7_a_history_of_greece_35, arg0).
arc(r_0007_0015__tools, r_0007_0018__and, r_0007_0016__for).
arc(r_0007_0017__cutting, z_000_7_a_history_of_greece_48, arg0).
arc(r_0007_0018__and, r_0007_0017__cutting, conj1).
arc(r_0007_0018__and, r_0007_0019__stabbing, conj2).
arc(r_0007_0019__stabbing, z_000_7_a_history_of_greece_48, arg0).
fof(formula,axiom,
? [R_7_2_IS,R_7_1_OBSIDIAN,R_7_11_COULD_BE_FASHIONED,Z_7_A_HISTORY_OF_GREECE_35,R_7_3_A_ROCK,R_7_4_HARD,R_7_6_VITREOUS,R_7_7_VOLCANIC,R_7_15_TOOLS,R_7_18_AND,R_7_17_CUTTING,R_7_19_STABBING,Z_7_A_HISTORY_OF_GREECE_48] :
( obsidian(R_7_1_OBSIDIAN)
& hard(R_7_4_HARD)
& vitreous(R_7_6_VITREOUS)
& volcanic(R_7_7_VOLCANIC)
& is(R_7_2_IS,R_7_1_OBSIDIAN,R_7_3_A_ROCK)
& a_rock(R_7_3_A_ROCK)
& attrib10(R_7_3_A_ROCK,R_7_4_HARD)
& attrib15(R_7_3_A_ROCK,R_7_6_VITREOUS)
& attrib18(R_7_3_A_ROCK,R_7_7_VOLCANIC)
& could_be_fashioned(R_7_11_COULD_BE_FASHIONED,Z_7_A_HISTORY_OF_GREECE_35,R_7_3_A_ROCK)
& into_clr42(R_7_11_COULD_BE_FASHIONED,R_7_15_TOOLS)
& tools(R_7_15_TOOLS)
& for(R_7_15_TOOLS,R_7_18_AND)
& and(R_7_18_AND)
& conj1(R_7_18_AND,R_7_17_CUTTING)
& cutting(R_7_17_CUTTING,Z_7_A_HISTORY_OF_GREECE_48)
& conj2(R_7_18_AND,R_7_19_STABBING)
& stabbing(R_7_19_STABBING,Z_7_A_HISTORY_OF_GREECE_48) ) ).
( (IP-MAT (NP-SBJ;{OBSIDIAN} (N Obsidian;{obsidian}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ hard;{hard}))
(PUNC ,)
(ADJP (ADJ vitreous;{vitreous}))
(ADJP (ADJ volcanic;{volcanic}))
(N rock;{rock})
(PUNC ,)
(IP-REL (NP-SBJ (RPRO which;{which}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ fashioned;{fashion[into]})
(PP-CLR (P-ROLE into;{into})
(NP (NS tools;{tool})
(PP (P-ROLE for;{for})
(IP-PPL3 (ILYR (ILYR (VAG;_I_ cutting;{cut}))
(CONJP (CONJ and;{and})
(ILYR (VAG;_I_ stabbing;{stab}))))))))))))
(PUNC .))
(ID 7_a_history_of_greece))