TSPC 25_a_history_of

25_a_history_of_greece
The Mycenaeans were an acquisitive race who came to conquer, not to trade.

( (IP-MAT (NP-SBJ;{MYCENAEANS} (D The;{the})
                               (NPRS Mycenaeans;{Mycenaeans}))
          (BED;_Ln_ were;{be})
          (NP-PRD (D an;{an})
                  (ADJP (ADJ acquisitive;{acquisitive}))
                  (N race;{race})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBD;_It_ came;{come})
                          (IP-INF-CLR (ILYR (ILYR (TO to;{to})
                                                  (VB;_I_ conquer;{conquer}))
                                            (PUNC ,)
                                            (CONJP (ILYR (NEG not;{not})
                                                         (TO to;{to})
                                                         (VB;_I_ trade;{trade})))))))
          (PUNC .))
  (ID 25_a_history_of_greece))

arc(r_0025_0003__were,r_0025_0001__The_r_0025_0002__Mycenaeans,arg0).
arc(r_0025_0003__were,r_0025_0004__an_r_0025_0006__race,prd).
arc(r_0025_0004__an_r_0025_0006__race,r_0025_0005__acquisitive,attrib).
arc(r_0025_0008__came,r_0025_0004__an_r_0025_0006__race,arg0).
arc(r_0025_0008__came,z_0025_5004,clr).
arc(r_0025_0010__conquer,r_0025_0004__an_r_0025_0006__race,arg0).
arc(r_0025_0012__not,r_0025_0014__trade,keep_scope).
arc(r_0025_0014__trade,r_0025_0004__an_r_0025_0006__race,arg0).
arc(z_0025_5004,r_0025_0010__conquer,conj1).
arc(z_0025_5004,r_0025_0012__not,conj2).

fof(formula,axiom,
    ? [R_0025_0001__THE_R_0025_0002__MYCENAEANS,R_0025_0005__ACQUISITIVE,R_0025_0004__AN_R_0025_0006__RACE,R_0025_0003__WERE,R_0025_0010__CONQUER,Z_0025_5004,R_0025_0008__CAME] :
      ( r_0025_0001__The_r_0025_0002__Mycenaeans(R_0025_0001__THE_R_0025_0002__MYCENAEANS)
      & r_0025_0005__acquisitive(R_0025_0005__ACQUISITIVE)
      & r_0025_0008__came(R_0025_0008__CAME)
      & has_clr(R_0025_0008__CAME,Z_0025_5004)
      & z_0025_5004(Z_0025_5004)
      & has_conj2(Z_0025_5004,R_0025_0012__NOT)
      & ~ ? [R_0025_0014__TRADE] :
            ( r_0025_0014__trade(R_0025_0014__TRADE)
            & has_arg0(R_0025_0014__TRADE,R_0025_0004__AN_R_0025_0006__RACE) )
      & has_conj1(Z_0025_5004,R_0025_0010__CONQUER)
      & r_0025_0010__conquer(R_0025_0010__CONQUER)
      & has_arg0(R_0025_0010__CONQUER,R_0025_0004__AN_R_0025_0006__RACE)
      & r_0025_0004__an_r_0025_0006__race(R_0025_0004__AN_R_0025_0006__RACE)
      & has_attrib(R_0025_0004__AN_R_0025_0006__RACE,R_0025_0005__ACQUISITIVE)
      & has_arg0(R_0025_0008__CAME,R_0025_0004__AN_R_0025_0006__RACE)
      & r_0025_0003__were(R_0025_0003__WERE)
      & has_prd(R_0025_0003__WERE,R_0025_0004__AN_R_0025_0006__RACE)
      & has_arg0(R_0025_0003__WERE,R_0025_0001__THE_R_0025_0002__MYCENAEANS) ) ).