TSPC 104_a_history_of

104_a_history_of_greece
Lesvos, Chios, and Samos lay in the important shipping lanes, and patriots began disrupting Ottoman cargo traffic.

( (IP-MAT (ILYR (ILYR (NP-SBJ (NLYR (NLYR (NPR Lesvos;{Lesvos}))
                                    (PUNC ,)
                                    (CONJP (NLYR (NPR Chios;{Chios})))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NPR Samos;{Samos})))))
                      (VBD;_Ipr_ lay;{lie[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (ADJP (ADJ important;{important}))
                                  (N shipping;{shipping})
                                  (NS lanes;{lane}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NS patriots;{patriot}))
                             (VBD;_cat_Vg_ began;{begin})
                             (IP-PPL-CAT (VAG;_Tn_ disrupting;{disrupt})
                                         (NP-OB1 (NPR Ottoman;{Ottoman})
                                                 (N cargo;{cargo})
                                                 (N traffic;{traffic}))))))
          (PUNC .))
  (ID 104_a_history_of_greece))

arc(r_0104_0005__and,r_0104_0001__Lesvos,conj1).
arc(r_0104_0005__and,r_0104_0003__Chios,conj2).
arc(r_0104_0005__and,r_0104_0006__Samos,conj3).
arc(r_0104_0007__lay_r_0104_0008__in,r_0104_0005__and,arg0).
arc(r_0104_0007__lay_r_0104_0008__in,r_0104_0009__the_r_0104_0011__shipping_r_0104_0012__lanes,arg1).
arc(r_0104_0009__the_r_0104_0011__shipping_r_0104_0012__lanes,r_0104_0010__important,attrib).
arc(r_0104_0014__and,r_0104_0007__lay_r_0104_0008__in,conj1).
arc(r_0104_0014__and,r_0104_0016__began,conj2).
arc(r_0104_0016__began,r_0104_0017__disrupting,scope).
arc(r_0104_0017__disrupting,r_0104_0015__patriots,arg0).
arc(r_0104_0017__disrupting,r_0104_0018__Ottoman_r_0104_0019__cargo_r_0104_0020__traffic,arg1).

fof(formula,axiom,
    ? [R_0104_0001__LESVOS,R_0104_0003__CHIOS,R_0104_0006__SAMOS,R_0104_0005__AND,R_0104_0010__IMPORTANT,R_0104_0009__THE_R_0104_0011__SHIPPING_R_0104_0012__LANES,R_0104_0007__LAY_R_0104_0008__IN,R_0104_0015__PATRIOTS,R_0104_0018__OTTOMAN_R_0104_0019__CARGO_R_0104_0020__TRAFFIC,R_0104_0016__BEGAN_R_0104_0017__DISRUPTING,R_0104_0014__AND] :
      ( r_0104_0001__Lesvos(R_0104_0001__LESVOS)
      & r_0104_0003__Chios(R_0104_0003__CHIOS)
      & r_0104_0006__Samos(R_0104_0006__SAMOS)
      & r_0104_0010__important(R_0104_0010__IMPORTANT)
      & r_0104_0015__patriots(R_0104_0015__PATRIOTS)
      & r_0104_0018__Ottoman_r_0104_0019__cargo_r_0104_0020__traffic(R_0104_0018__OTTOMAN_R_0104_0019__CARGO_R_0104_0020__TRAFFIC)
      & r_0104_0014__and(R_0104_0014__AND)
      & has_conj2(R_0104_0014__AND,R_0104_0016__BEGAN_R_0104_0017__DISRUPTING)
      & r_0104_0016__began_r_0104_0017__disrupting(R_0104_0016__BEGAN_R_0104_0017__DISRUPTING)
      & has_arg1(R_0104_0016__BEGAN_R_0104_0017__DISRUPTING,R_0104_0018__OTTOMAN_R_0104_0019__CARGO_R_0104_0020__TRAFFIC)
      & has_arg0(R_0104_0016__BEGAN_R_0104_0017__DISRUPTING,R_0104_0015__PATRIOTS)
      & has_conj1(R_0104_0014__AND,R_0104_0007__LAY_R_0104_0008__IN)
      & r_0104_0007__lay_r_0104_0008__in(R_0104_0007__LAY_R_0104_0008__IN)
      & has_arg1(R_0104_0007__LAY_R_0104_0008__IN,R_0104_0009__THE_R_0104_0011__SHIPPING_R_0104_0012__LANES)
      & r_0104_0009__the_r_0104_0011__shipping_r_0104_0012__lanes(R_0104_0009__THE_R_0104_0011__SHIPPING_R_0104_0012__LANES)
      & has_attrib(R_0104_0009__THE_R_0104_0011__SHIPPING_R_0104_0012__LANES,R_0104_0010__IMPORTANT)
      & has_arg0(R_0104_0007__LAY_R_0104_0008__IN,R_0104_0005__AND)
      & r_0104_0005__and(R_0104_0005__AND)
      & has_conj3(R_0104_0005__AND,R_0104_0006__SAMOS)
      & has_conj2(R_0104_0005__AND,R_0104_0003__CHIOS)
      & has_conj1(R_0104_0005__AND,R_0104_0001__LESVOS) ) ).