7_a_history_of_greece
Obsidian is a hard, vitreous volcanic rock, which could be fashioned into tools for cutting and stabbing.

%3 r_0007_0002__is is r_0007_0001__Obsidian Obsidian r_0007_0002__is->r_0007_0001__Obsidian [arg0] r_0007_0003__a_r_0007_0008__rock a rock r_0007_0002__is->r_0007_0003__a_r_0007_0008__rock [prd] r_0007_0004__hard hard r_0007_0003__a_r_0007_0008__rock->r_0007_0004__hard [attrib] r_0007_0006__vitreous vitreous r_0007_0003__a_r_0007_0008__rock->r_0007_0006__vitreous [attrib] r_0007_0007__volcanic volcanic r_0007_0003__a_r_0007_0008__rock->r_0007_0007__volcanic [attrib] r_0007_0011__could could r_0007_0012__be be r_0007_0011__could->r_0007_0012__be [scope] r_0007_0013__fashioned fashioned r_0007_0012__be->r_0007_0013__fashioned [scope] r_0007_0013__fashioned->r_0007_0003__a_r_0007_0008__rock [arg1] r_0007_0015__tools tools r_0007_0013__fashioned->r_0007_0015__tools into [clr] z_000_7_a_history_of_greece_35 r_0007_0013__fashioned->z_000_7_a_history_of_greece_35 [arg0] r_0007_0018__and and r_0007_0015__tools->r_0007_0018__and for r_0007_0017__cutting cutting r_0007_0018__and->r_0007_0017__cutting [conj1] r_0007_0019__stabbing stabbing r_0007_0018__and->r_0007_0019__stabbing [conj2] z_000_7_a_history_of_greece_48 r_0007_0017__cutting->z_000_7_a_history_of_greece_48 [arg0] r_0007_0019__stabbing->z_000_7_a_history_of_greece_48 [arg0]
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).



%3 r_0007_0019__stabbing stabbing z_000_7_a_history_of_greece_48 r_0007_0019__stabbing->z_000_7_a_history_of_greece_48 [arg0] r_0007_0018__and and r_0007_0018__and->r_0007_0019__stabbing [conj2] r_0007_0017__cutting cutting r_0007_0018__and->r_0007_0017__cutting [conj1] r_0007_0017__cutting->z_000_7_a_history_of_greece_48 [arg0] r_0007_0015__tools tools r_0007_0015__tools->r_0007_0018__and for r_0007_0011__could_r_0007_0012__be_r_0007_0013__fashioned could be fashioned r_0007_0011__could_r_0007_0012__be_r_0007_0013__fashioned->r_0007_0015__tools into [clr] z_000_7_a_history_of_greece_35 r_0007_0011__could_r_0007_0012__be_r_0007_0013__fashioned->z_000_7_a_history_of_greece_35 [arg0] r_0007_0003__a_r_0007_0008__rock a rock r_0007_0011__could_r_0007_0012__be_r_0007_0013__fashioned->r_0007_0003__a_r_0007_0008__rock [arg1] r_0007_0007__volcanic volcanic r_0007_0003__a_r_0007_0008__rock->r_0007_0007__volcanic [attrib] r_0007_0006__vitreous vitreous r_0007_0003__a_r_0007_0008__rock->r_0007_0006__vitreous [attrib] r_0007_0004__hard hard r_0007_0003__a_r_0007_0008__rock->r_0007_0004__hard [attrib] r_0007_0002__is is r_0007_0002__is->r_0007_0003__a_r_0007_0008__rock [prd] r_0007_0001__Obsidian Obsidian r_0007_0002__is->r_0007_0001__Obsidian [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) ) ).



n7_a_history_of_greece n7_a_history_of_greece__1_1_1_1 Obsidian n7_a_history_of_greece__1_2_1 is n7_a_history_of_greece__1_3_1_1 a n7_a_history_of_greece__1_3_2_1_1 hard n7_a_history_of_greece__1_3_3_1 , n7_a_history_of_greece__1_3_4_1_1 vitreous n7_a_history_of_greece__1_3_5_1_1 volcanic n7_a_history_of_greece__1_3_6_1 rock n7_a_history_of_greece__1_3_7_1 , n7_a_history_of_greece__1_3_8_1_1_1 which n7_a_history_of_greece__1_3_8_2_1 could n7_a_history_of_greece__1_3_8_3_1_1 be n7_a_history_of_greece__1_3_8_3_2_1_1 * n7_a_history_of_greece__1_3_8_3_2_2_1 fashioned n7_a_history_of_greece__1_3_8_3_2_3_1_1 into n7_a_history_of_greece__1_3_8_3_2_3_2_1_1 tools n7_a_history_of_greece__1_3_8_3_2_3_2_2_1_1 for n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1_1_1 cutting n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_1_1 and n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2_1_1 stabbing n7_a_history_of_greece__1_4_1 . n7_a_history_of_greece__1 IP-MAT n7_a_history_of_greece__1_1 NP-SBJ n7_a_history_of_greece__1->n7_a_history_of_greece__1_1 n7_a_history_of_greece__1_2 BEP;_Ln_ n7_a_history_of_greece__1->n7_a_history_of_greece__1_2 n7_a_history_of_greece__1_3 NP-PRD n7_a_history_of_greece__1->n7_a_history_of_greece__1_3 n7_a_history_of_greece__1_4 PUNC n7_a_history_of_greece__1->n7_a_history_of_greece__1_4 n7_a_history_of_greece__1_1_1 N n7_a_history_of_greece__1_1->n7_a_history_of_greece__1_1_1 n7_a_history_of_greece__1_1_1->n7_a_history_of_greece__1_1_1_1 n7_a_history_of_greece__1_2->n7_a_history_of_greece__1_2_1 n7_a_history_of_greece__1_3_1 D n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_1 n7_a_history_of_greece__1_3_2 ADJP n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_2 n7_a_history_of_greece__1_3_3 PUNC n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_3 n7_a_history_of_greece__1_3_4 ADJP n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_4 n7_a_history_of_greece__1_3_5 ADJP n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_5 n7_a_history_of_greece__1_3_6 N n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_6 n7_a_history_of_greece__1_3_7 PUNC n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_7 n7_a_history_of_greece__1_3_8 IP-REL n7_a_history_of_greece__1_3->n7_a_history_of_greece__1_3_8 n7_a_history_of_greece__1_3_1->n7_a_history_of_greece__1_3_1_1 n7_a_history_of_greece__1_3_2_1 ADJ n7_a_history_of_greece__1_3_2->n7_a_history_of_greece__1_3_2_1 n7_a_history_of_greece__1_3_2_1->n7_a_history_of_greece__1_3_2_1_1 n7_a_history_of_greece__1_3_3->n7_a_history_of_greece__1_3_3_1 n7_a_history_of_greece__1_3_4_1 ADJ n7_a_history_of_greece__1_3_4->n7_a_history_of_greece__1_3_4_1 n7_a_history_of_greece__1_3_4_1->n7_a_history_of_greece__1_3_4_1_1 n7_a_history_of_greece__1_3_5_1 ADJ n7_a_history_of_greece__1_3_5->n7_a_history_of_greece__1_3_5_1 n7_a_history_of_greece__1_3_5_1->n7_a_history_of_greece__1_3_5_1_1 n7_a_history_of_greece__1_3_6->n7_a_history_of_greece__1_3_6_1 n7_a_history_of_greece__1_3_7->n7_a_history_of_greece__1_3_7_1 n7_a_history_of_greece__1_3_8_1 NP-SBJ n7_a_history_of_greece__1_3_8->n7_a_history_of_greece__1_3_8_1 n7_a_history_of_greece__1_3_8_2 MD;_cat_Vi_ n7_a_history_of_greece__1_3_8->n7_a_history_of_greece__1_3_8_2 n7_a_history_of_greece__1_3_8_3 IP-INF-CAT n7_a_history_of_greece__1_3_8->n7_a_history_of_greece__1_3_8_3 n7_a_history_of_greece__1_3_8_1_1 RPRO n7_a_history_of_greece__1_3_8_1->n7_a_history_of_greece__1_3_8_1_1 n7_a_history_of_greece__1_3_8_1_1->n7_a_history_of_greece__1_3_8_1_1_1 n7_a_history_of_greece__1_3_8_2->n7_a_history_of_greece__1_3_8_2_1 n7_a_history_of_greece__1_3_8_3_1 BE;_cat_VePASS_ n7_a_history_of_greece__1_3_8_3->n7_a_history_of_greece__1_3_8_3_1 n7_a_history_of_greece__1_3_8_3_2 IP-PPL-CAT n7_a_history_of_greece__1_3_8_3->n7_a_history_of_greece__1_3_8_3_2 n7_a_history_of_greece__1_3_8_3_1->n7_a_history_of_greece__1_3_8_3_1_1 n7_a_history_of_greece__1_3_8_3_2_1 NP-LGS n7_a_history_of_greece__1_3_8_3_2->n7_a_history_of_greece__1_3_8_3_2_1 n7_a_history_of_greece__1_3_8_3_2_2 VVN;_Tn.pr_ n7_a_history_of_greece__1_3_8_3_2->n7_a_history_of_greece__1_3_8_3_2_2 n7_a_history_of_greece__1_3_8_3_2_3 PP-CLR n7_a_history_of_greece__1_3_8_3_2->n7_a_history_of_greece__1_3_8_3_2_3 n7_a_history_of_greece__1_3_8_3_2_1->n7_a_history_of_greece__1_3_8_3_2_1_1 n7_a_history_of_greece__1_3_8_3_2_2->n7_a_history_of_greece__1_3_8_3_2_2_1 n7_a_history_of_greece__1_3_8_3_2_3_1 P-ROLE n7_a_history_of_greece__1_3_8_3_2_3->n7_a_history_of_greece__1_3_8_3_2_3_1 n7_a_history_of_greece__1_3_8_3_2_3_2 NP n7_a_history_of_greece__1_3_8_3_2_3->n7_a_history_of_greece__1_3_8_3_2_3_2 n7_a_history_of_greece__1_3_8_3_2_3_1->n7_a_history_of_greece__1_3_8_3_2_3_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_1 NS n7_a_history_of_greece__1_3_8_3_2_3_2->n7_a_history_of_greece__1_3_8_3_2_3_2_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2 PP n7_a_history_of_greece__1_3_8_3_2_3_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2 n7_a_history_of_greece__1_3_8_3_2_3_2_1->n7_a_history_of_greece__1_3_8_3_2_3_2_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_1 P-ROLE n7_a_history_of_greece__1_3_8_3_2_3_2_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2 IP-PPL3 n7_a_history_of_greece__1_3_8_3_2_3_2_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2 n7_a_history_of_greece__1_3_8_3_2_3_2_2_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1 ILYR n7_a_history_of_greece__1_3_8_3_2_3_2_2_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1 ILYR n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2 CONJP n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1_1 VAG;_I_ n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_1_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_1 CONJ n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2 ILYR n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_1_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2_1 VAG;_I_ n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2_1 n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2_1->n7_a_history_of_greece__1_3_8_3_2_3_2_2_2_1_2_2_1_1 n7_a_history_of_greece__1_4->n7_a_history_of_greece__1_4_1
( (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))