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_96_11_YET,R_96_4_WAS,R_96_6_THE_PATH,R_96_9_EXTINCTION,R_96_22_WAS,R_96_12_THE_THOUGHT,R_96_16_BEING_INVADED,R_96_20_OUTSIDERS,R_96_2_THE_VILLAGE,R_96_23_SOMEHOW,R_96_24_WORSE] :
      ( extinction(R_96_9_EXTINCTION)
      & outsiders(R_96_20_OUTSIDERS)
      & the_village(R_96_2_THE_VILLAGE)
      & somehow(R_96_23_SOMEHOW)
      & worse(R_96_24_WORSE)
      & yet(R_96_11_YET)
      & conj1(R_96_11_YET,R_96_4_WAS)
      & was(R_96_4_WAS,R_96_2_THE_VILLAGE)
      & on_nim16(R_96_4_WAS,R_96_6_THE_PATH)
      & the_path(R_96_6_THE_PATH)
      & to(R_96_6_THE_PATH,R_96_9_EXTINCTION)
      & conj2(R_96_11_YET,R_96_22_WAS)
      & was(R_96_22_WAS,R_96_12_THE_THOUGHT,R_96_24_WORSE)
      & the_thought(R_96_12_THE_THOUGHT)
      & of(R_96_12_THE_THOUGHT,R_96_16_BEING_INVADED)
      & being_invaded(R_96_16_BEING_INVADED,R_96_20_OUTSIDERS,R_96_2_THE_VILLAGE)
      & nim62(R_96_22_WAS,R_96_23_SOMEHOW) ) ).

( (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))