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_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_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_0003__a_r_0007_0008__rock [arg1] r_0007_0015__tools tools 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_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]
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_4 Obsidian n7_a_history_of_greece_6 is n7_a_history_of_greece_9 a n7_a_history_of_greece_12 hard n7_a_history_of_greece_14 , n7_a_history_of_greece_17 vitreous n7_a_history_of_greece_20 volcanic n7_a_history_of_greece_22 rock n7_a_history_of_greece_24 , n7_a_history_of_greece_28 which n7_a_history_of_greece_30 could n7_a_history_of_greece_33 be n7_a_history_of_greece_36 * n7_a_history_of_greece_38 fashioned n7_a_history_of_greece_41 into n7_a_history_of_greece_44 tools n7_a_history_of_greece_47 for n7_a_history_of_greece_52 cutting n7_a_history_of_greece_55 and n7_a_history_of_greece_58 stabbing n7_a_history_of_greece_60 . n7_a_history_of_greece_1 IP-MAT n7_a_history_of_greece_2 NP-SBJ n7_a_history_of_greece_1->n7_a_history_of_greece_2 n7_a_history_of_greece_5 BEP;_Ln_ n7_a_history_of_greece_1->n7_a_history_of_greece_5 n7_a_history_of_greece_7 NP-PRD n7_a_history_of_greece_1->n7_a_history_of_greece_7 n7_a_history_of_greece_59 PUNC n7_a_history_of_greece_1->n7_a_history_of_greece_59 n7_a_history_of_greece_3 N n7_a_history_of_greece_2->n7_a_history_of_greece_3 n7_a_history_of_greece_3->n7_a_history_of_greece_4 n7_a_history_of_greece_5->n7_a_history_of_greece_6 n7_a_history_of_greece_8 D n7_a_history_of_greece_7->n7_a_history_of_greece_8 n7_a_history_of_greece_10 ADJP n7_a_history_of_greece_7->n7_a_history_of_greece_10 n7_a_history_of_greece_13 PUNC n7_a_history_of_greece_7->n7_a_history_of_greece_13 n7_a_history_of_greece_15 ADJP n7_a_history_of_greece_7->n7_a_history_of_greece_15 n7_a_history_of_greece_18 ADJP n7_a_history_of_greece_7->n7_a_history_of_greece_18 n7_a_history_of_greece_21 N n7_a_history_of_greece_7->n7_a_history_of_greece_21 n7_a_history_of_greece_23 PUNC n7_a_history_of_greece_7->n7_a_history_of_greece_23 n7_a_history_of_greece_25 IP-REL n7_a_history_of_greece_7->n7_a_history_of_greece_25 n7_a_history_of_greece_8->n7_a_history_of_greece_9 n7_a_history_of_greece_11 ADJ n7_a_history_of_greece_10->n7_a_history_of_greece_11 n7_a_history_of_greece_11->n7_a_history_of_greece_12 n7_a_history_of_greece_13->n7_a_history_of_greece_14 n7_a_history_of_greece_16 ADJ n7_a_history_of_greece_15->n7_a_history_of_greece_16 n7_a_history_of_greece_16->n7_a_history_of_greece_17 n7_a_history_of_greece_19 ADJ n7_a_history_of_greece_18->n7_a_history_of_greece_19 n7_a_history_of_greece_19->n7_a_history_of_greece_20 n7_a_history_of_greece_21->n7_a_history_of_greece_22 n7_a_history_of_greece_23->n7_a_history_of_greece_24 n7_a_history_of_greece_26 NP-SBJ n7_a_history_of_greece_25->n7_a_history_of_greece_26 n7_a_history_of_greece_29 MD;_cat_Vi_ n7_a_history_of_greece_25->n7_a_history_of_greece_29 n7_a_history_of_greece_31 IP-INF-CAT n7_a_history_of_greece_25->n7_a_history_of_greece_31 n7_a_history_of_greece_27 RPRO n7_a_history_of_greece_26->n7_a_history_of_greece_27 n7_a_history_of_greece_27->n7_a_history_of_greece_28 n7_a_history_of_greece_29->n7_a_history_of_greece_30 n7_a_history_of_greece_32 BE;_cat_VePASS_ n7_a_history_of_greece_31->n7_a_history_of_greece_32 n7_a_history_of_greece_34 IP-PPL-CAT n7_a_history_of_greece_31->n7_a_history_of_greece_34 n7_a_history_of_greece_32->n7_a_history_of_greece_33 n7_a_history_of_greece_35 NP-LGS n7_a_history_of_greece_34->n7_a_history_of_greece_35 n7_a_history_of_greece_37 VVN;_Tn.pr_ n7_a_history_of_greece_34->n7_a_history_of_greece_37 n7_a_history_of_greece_39 PP-CLR n7_a_history_of_greece_34->n7_a_history_of_greece_39 n7_a_history_of_greece_35->n7_a_history_of_greece_36 n7_a_history_of_greece_37->n7_a_history_of_greece_38 n7_a_history_of_greece_40 P-ROLE n7_a_history_of_greece_39->n7_a_history_of_greece_40 n7_a_history_of_greece_42 NP n7_a_history_of_greece_39->n7_a_history_of_greece_42 n7_a_history_of_greece_40->n7_a_history_of_greece_41 n7_a_history_of_greece_43 NS n7_a_history_of_greece_42->n7_a_history_of_greece_43 n7_a_history_of_greece_45 PP n7_a_history_of_greece_42->n7_a_history_of_greece_45 n7_a_history_of_greece_43->n7_a_history_of_greece_44 n7_a_history_of_greece_46 P-ROLE n7_a_history_of_greece_45->n7_a_history_of_greece_46 n7_a_history_of_greece_48 IP-PPL n7_a_history_of_greece_45->n7_a_history_of_greece_48 n7_a_history_of_greece_46->n7_a_history_of_greece_47 n7_a_history_of_greece_49 ILYR n7_a_history_of_greece_48->n7_a_history_of_greece_49 n7_a_history_of_greece_50 ILYR n7_a_history_of_greece_49->n7_a_history_of_greece_50 n7_a_history_of_greece_53 CONJP n7_a_history_of_greece_49->n7_a_history_of_greece_53 n7_a_history_of_greece_51 VAG;_I_ n7_a_history_of_greece_50->n7_a_history_of_greece_51 n7_a_history_of_greece_51->n7_a_history_of_greece_52 n7_a_history_of_greece_54 CONJ n7_a_history_of_greece_53->n7_a_history_of_greece_54 n7_a_history_of_greece_56 ILYR n7_a_history_of_greece_53->n7_a_history_of_greece_56 n7_a_history_of_greece_54->n7_a_history_of_greece_55 n7_a_history_of_greece_57 VAG;_I_ n7_a_history_of_greece_56->n7_a_history_of_greece_57 n7_a_history_of_greece_57->n7_a_history_of_greece_58 n7_a_history_of_greece_59->n7_a_history_of_greece_60
( (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;_I_ cutting;{cut}))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (ILYR (VAG;_I_ stabbing;{stab}))))))))))))
          (PUNC .))
  (ID 7_a_history_of_greece))