TSPC 121_a_history_of

121_a_history_of_greece
Greece attempted to stay out of World War II, but Mussolini saw Greece as an ideal addition to his Italian empire.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{GREECE} (NPR Greece;{Greece}))
                      (VBD;_Tt_ attempted;{attempt})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Ipr_ stay;{stay[out_of]})
                                  (PP-CLR (P-ROLE out_of;{out_of})
                                          (NP (NPR World_War_II;{World_War_II})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{MUSSOLINI} (NPR Mussolini;{Mussolini}))
                             (VBD;_Cn.n/a_ saw;{see[as]})
                             (NP-OB1;{GREECE} (NPR Greece;{Greece}))
                             (PP-PRD (P-ROLE as;{as})
                                     (NP (D an;{an})
                                         (ADJP (ADJ ideal;{ideal}))
                                         (N addition;{addition})
                                         (PP (P-ROLE to;{to})
                                             (NP (NP-GEN;{MUSSOLINI} (PRO;_genm_ his;{his}))
                                                 (ADJP (ADJ Italian;{italian}))
                                                 (N empire;{empire}))))))))
          (PUNC .))
  (ID 121_a_history_of_greece))

arc(r_0121_0002__attempted,r_0121_0001__Greece,arg0).
arc(r_0121_0002__attempted,r_0121_0004__stay_r_0121_0005__out_of,arg1).
arc(r_0121_0004__stay_r_0121_0005__out_of,r_0121_0001__Greece,arg0).
arc(r_0121_0004__stay_r_0121_0005__out_of,r_0121_0006__World_War_II,arg1).
arc(r_0121_0008__but,r_0121_0002__attempted,conj1).
arc(r_0121_0008__but,r_0121_0010__saw,conj2).
arc(r_0121_0010__saw,r_0121_0001__Greece,arg1).
arc(r_0121_0010__saw,r_0121_0009__Mussolini,arg0).
arc(r_0121_0010__saw,r_0121_0013__an_r_0121_0015__addition,r_0121_0012__as__prd).
arc(r_0121_0013__an_r_0121_0015__addition,r_0121_0014__ideal,attrib).
arc(r_0121_0013__an_r_0121_0015__addition,r_0121_0019__empire,r_0121_0016__to).
arc(r_0121_0019__empire,r_0121_0009__Mussolini,gen).
arc(r_0121_0019__empire,r_0121_0018__Italian,attrib).

fof(formula,axiom,
    ? [R_0121_0001__GREECE,R_0121_0006__WORLD_WAR_II,R_0121_0004__STAY_R_0121_0005__OUT_OF,R_0121_0002__ATTEMPTED,R_0121_0009__MUSSOLINI,R_0121_0014__IDEAL,R_0121_0018__ITALIAN,R_0121_0019__EMPIRE,R_0121_0013__AN_R_0121_0015__ADDITION,R_0121_0010__SAW,R_0121_0008__BUT] :
      ( r_0121_0001__Greece(R_0121_0001__GREECE)
      & r_0121_0006__World_War_II(R_0121_0006__WORLD_WAR_II)
      & r_0121_0009__Mussolini(R_0121_0009__MUSSOLINI)
      & r_0121_0014__ideal(R_0121_0014__IDEAL)
      & r_0121_0018__Italian(R_0121_0018__ITALIAN)
      & r_0121_0008__but(R_0121_0008__BUT)
      & has_conj2(R_0121_0008__BUT,R_0121_0010__SAW)
      & r_0121_0010__saw(R_0121_0010__SAW)
      & has_r_0121_0012__as__prd(R_0121_0010__SAW,R_0121_0013__AN_R_0121_0015__ADDITION)
      & r_0121_0013__an_r_0121_0015__addition(R_0121_0013__AN_R_0121_0015__ADDITION)
      & has_r_0121_0016__to(R_0121_0013__AN_R_0121_0015__ADDITION,R_0121_0019__EMPIRE)
      & r_0121_0019__empire(R_0121_0019__EMPIRE)
      & has_attrib(R_0121_0019__EMPIRE,R_0121_0018__ITALIAN)
      & has_gen(R_0121_0019__EMPIRE,R_0121_0009__MUSSOLINI)
      & has_attrib(R_0121_0013__AN_R_0121_0015__ADDITION,R_0121_0014__IDEAL)
      & has_arg0(R_0121_0010__SAW,R_0121_0009__MUSSOLINI)
      & has_arg1(R_0121_0010__SAW,R_0121_0001__GREECE)
      & has_conj1(R_0121_0008__BUT,R_0121_0002__ATTEMPTED)
      & r_0121_0002__attempted(R_0121_0002__ATTEMPTED)
      & has_arg1(R_0121_0002__ATTEMPTED,R_0121_0004__STAY_R_0121_0005__OUT_OF)
      & r_0121_0004__stay_r_0121_0005__out_of(R_0121_0004__STAY_R_0121_0005__OUT_OF)
      & has_arg1(R_0121_0004__STAY_R_0121_0005__OUT_OF,R_0121_0006__WORLD_WAR_II)
      & has_arg0(R_0121_0004__STAY_R_0121_0005__OUT_OF,R_0121_0001__GREECE)
      & has_arg0(R_0121_0002__ATTEMPTED,R_0121_0001__GREECE) ) ).