7_a_history_of_greece
Obsidian is a hard, vitreous volcanic rock, which could be fashioned into tools for cutting and stabbing.
( (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-PPL (ILYR (ILYR (VAG;_Tn_ cutting;{cut}))
(CONJP (CONJ and;{and})
(ILYR (VAG;_Tn_ stabbing;{stab}))))))))))))
(PUNC .))
(ID 7_a_history_of_greece))
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,attrib).
arc(r_0007_0003__a_r_0007_0008__rock,r_0007_0006__vitreous,attrib).
arc(r_0007_0003__a_r_0007_0008__rock,r_0007_0007__volcanic,attrib).
arc(r_0007_0011__could,r_0007_0012__be,scope).
arc(r_0007_0012__be,r_0007_0013__fashioned_r_0007_0014__into,scope).
arc(r_0007_0013__fashioned_r_0007_0014__into,r_0007_0003__a_r_0007_0008__rock,arg1).
arc(r_0007_0013__fashioned_r_0007_0014__into,r_0007_0015__tools,arg2).
arc(r_0007_0013__fashioned_r_0007_0014__into,z_0007_5015___star_,arg0).
arc(r_0007_0015__tools,r_0007_0018__and,r_0007_0016__for).
arc(r_0007_0017__cutting,z_0007_5011,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_0007_5011,arg0).
fof(formula,axiom,
? [R_0007_0001__OBSIDIAN,R_0007_0004__HARD,R_0007_0006__VITREOUS,R_0007_0007__VOLCANIC,R_0007_0003__A_R_0007_0008__ROCK,R_0007_0002__IS,Z_0007_5011,R_0007_0017__CUTTING,R_0007_0019__STABBING,R_0007_0018__AND,R_0007_0015__TOOLS,Z_0007_5015___STAR_,R_0007_0011__COULD_R_0007_0012__BE_R_0007_0013__FASHIONED_R_0007_0014__INTO] :
( r_0007_0001__Obsidian(R_0007_0001__OBSIDIAN)
& r_0007_0004__hard(R_0007_0004__HARD)
& r_0007_0006__vitreous(R_0007_0006__VITREOUS)
& r_0007_0007__volcanic(R_0007_0007__VOLCANIC)
& z_0007_5011(Z_0007_5011)
& z_0007_5015___star_(Z_0007_5015___STAR_)
& r_0007_0011__could_r_0007_0012__be_r_0007_0013__fashioned_r_0007_0014__into(R_0007_0011__COULD_R_0007_0012__BE_R_0007_0013__FASHIONED_R_0007_0014__INTO)
& has_arg0(R_0007_0011__COULD_R_0007_0012__BE_R_0007_0013__FASHIONED_R_0007_0014__INTO,Z_0007_5015___STAR_)
& has_arg2(R_0007_0011__COULD_R_0007_0012__BE_R_0007_0013__FASHIONED_R_0007_0014__INTO,R_0007_0015__TOOLS)
& r_0007_0015__tools(R_0007_0015__TOOLS)
& has_r_0007_0016__for(R_0007_0015__TOOLS,R_0007_0018__AND)
& r_0007_0018__and(R_0007_0018__AND)
& has_conj2(R_0007_0018__AND,R_0007_0019__STABBING)
& r_0007_0019__stabbing(R_0007_0019__STABBING)
& has_arg0(R_0007_0019__STABBING,Z_0007_5011)
& has_conj1(R_0007_0018__AND,R_0007_0017__CUTTING)
& r_0007_0017__cutting(R_0007_0017__CUTTING)
& has_arg0(R_0007_0017__CUTTING,Z_0007_5011)
& has_arg1(R_0007_0011__COULD_R_0007_0012__BE_R_0007_0013__FASHIONED_R_0007_0014__INTO,R_0007_0003__A_R_0007_0008__ROCK)
& r_0007_0003__a_r_0007_0008__rock(R_0007_0003__A_R_0007_0008__ROCK)
& has_attrib(R_0007_0003__A_R_0007_0008__ROCK,R_0007_0007__VOLCANIC)
& has_attrib(R_0007_0003__A_R_0007_0008__ROCK,R_0007_0006__VITREOUS)
& has_attrib(R_0007_0003__A_R_0007_0008__ROCK,R_0007_0004__HARD)
& r_0007_0002__is(R_0007_0002__IS)
& has_prd(R_0007_0002__IS,R_0007_0003__A_R_0007_0008__ROCK)
& has_arg0(R_0007_0002__IS,R_0007_0001__OBSIDIAN) ) ).