TSPC 96_a_stuck

96_a_stuck_japan
“The village was on the path to extinction, yet the thought of it being invaded by “outsiders” was somehow worse.

arc(r_0096_0004__was, r_0096_0002__The_r_0096_0003__village, arg0).
arc(r_0096_0004__was, r_0096_0006__the_r_0096_0007__path, r_0096_0005__on_nim16).
arc(r_0096_0006__the_r_0096_0007__path, r_0096_0009__extinction, r_0096_0008__to).
arc(r_0096_0011__yet, r_0096_0004__was, conj1).
arc(r_0096_0011__yet, r_0096_0022__was, conj2).
arc(r_0096_0012__the_r_0096_0013__thought, r_0096_0016__being, r_0096_0014__of).
arc(r_0096_0016__being, r_0096_0017__invaded, scope).
arc(r_0096_0017__invaded, r_0096_0002__The_r_0096_0003__village, arg1).
arc(r_0096_0017__invaded, r_0096_0020__outsiders, arg0).
arc(r_0096_0022__was, r_0096_0012__the_r_0096_0013__thought, arg0).
arc(r_0096_0022__was, r_0096_0023__somehow, nim62).
arc(r_0096_0022__was, r_0096_0024__worse, prd).

fof(formula,axiom,
    ? [R_0096_0002__THE_R_0096_0003__VILLAGE,R_0096_0009__EXTINCTION,R_0096_0006__THE_R_0096_0007__PATH,R_0096_0004__WAS,R_0096_0020__OUTSIDERS,R_0096_0016__BEING_R_0096_0017__INVADED,R_0096_0012__THE_R_0096_0013__THOUGHT,R_0096_0023__SOMEHOW,R_0096_0024__WORSE,R_0096_0022__WAS,R_0096_0011__YET] :
      ( r_0096_0002__The_r_0096_0003__village(R_0096_0002__THE_R_0096_0003__VILLAGE)
      & r_0096_0009__extinction(R_0096_0009__EXTINCTION)
      & r_0096_0020__outsiders(R_0096_0020__OUTSIDERS)
      & r_0096_0023__somehow(R_0096_0023__SOMEHOW)
      & r_0096_0024__worse(R_0096_0024__WORSE)
      & r_0096_0011__yet(R_0096_0011__YET)
      & has_conj2(R_0096_0011__YET,R_0096_0022__WAS)
      & r_0096_0022__was(R_0096_0022__WAS)
      & has_prd(R_0096_0022__WAS,R_0096_0024__WORSE)
      & has_nim62(R_0096_0022__WAS,R_0096_0023__SOMEHOW)
      & has_arg0(R_0096_0022__WAS,R_0096_0012__THE_R_0096_0013__THOUGHT)
      & r_0096_0012__the_r_0096_0013__thought(R_0096_0012__THE_R_0096_0013__THOUGHT)
      & has_r_0096_0014__of(R_0096_0012__THE_R_0096_0013__THOUGHT,R_0096_0016__BEING_R_0096_0017__INVADED)
      & r_0096_0016__being_r_0096_0017__invaded(R_0096_0016__BEING_R_0096_0017__INVADED)
      & has_arg0(R_0096_0016__BEING_R_0096_0017__INVADED,R_0096_0020__OUTSIDERS)
      & has_arg1(R_0096_0016__BEING_R_0096_0017__INVADED,R_0096_0002__THE_R_0096_0003__VILLAGE)
      & has_conj1(R_0096_0011__YET,R_0096_0004__WAS)
      & r_0096_0004__was(R_0096_0004__WAS)
      & has_r_0096_0005__on_nim16(R_0096_0004__WAS,R_0096_0006__THE_R_0096_0007__PATH)
      & r_0096_0006__the_r_0096_0007__path(R_0096_0006__THE_R_0096_0007__PATH)
      & has_r_0096_0008__to(R_0096_0006__THE_R_0096_0007__PATH,R_0096_0009__EXTINCTION)
      & has_arg0(R_0096_0004__WAS,R_0096_0002__THE_R_0096_0003__VILLAGE) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{VILLAGE} (D The;{the})
                                        (N village;{village}))
                      (BED;__ was;{be})
                      (PP-NIM (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (N path;{path})
                                  (PP (P-ROLE to;{to})
                                      (NP (N extinction;{extinction}))))))
                (PUNC ,)
                (CONJP (CONJ yet;{yet})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N thought;{thought})
                                     (PP (P-ROLE of;{of})
                                         (IP-PPL (NP-SBJ;{VILLAGE} (PRO it;{it}))
                                                 (BAG;_cat_VePASS_ being;{be})
                                                 (IP-PPL-CAT (VVN;__ invaded;{invade})
                                                             (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                     (NP (PULQ <ldquo>)
                                                                         (NS outsiders;{outsider})
                                                                         (PURQ <rdquo>)))))))
                             (BED;__ was;{be})
                             (ADVP-NIM (ADV somehow;{somehow}))
                             (ADJP-PRD (ADJR worse;{bad})))))
          (PUNC .))
  (ID 96_a_stuck_japan))