arc(r_0138_0001__This_r_0138_0002__form, r_0138_0004__pork_r_0138_0006__barrel_r_0138_0007__politics, r_0138_0003__of).
arc(r_0138_0008__is, r_0138_0001__This_r_0138_0002__form, arg0).
arc(r_0138_0008__is, r_0138_0009__one_r_0138_0010__reason, prd).
arc(r_0138_0009__one_r_0138_0010__reason, z_000_138_a_stuck_japan_34, r_0138_0011__so_r_0138_0012__much_r_0138_0013__of).
arc(r_0138_0016__coastline, r_0138_0014__Japan_r_0138_0015___apos_s, gen).
arc(r_0138_0017__is, r_0138_0018__blighted, scope).
arc(r_0138_0018__blighted, r_0138_0016__coastline, arg1).
arc(r_0138_0018__blighted, r_0138_0020__tetra_r_0138_0021__pods, arg0).
arc(r_0138_0024__rivers, r_0138_0014__Japan_r_0138_0015___apos_s, gen).
arc(r_0138_0025__walled, r_0138_0028__concrete, r_0138_0026__with).
arc(r_0138_0028__concrete, r_0138_0027__grey, attrib78).
arc(z_000_138_a_stuck_japan_34, r_0138_0016__coastline, conj1).
arc(z_000_138_a_stuck_japan_34, r_0138_0024__rivers, conj2).
arc(z_000_138_a_stuck_japan_68, r_0138_0024__rivers, arg0).
arc(z_000_138_a_stuck_japan_68, r_0138_0025__walled, prd).

fof(formula,axiom,
    ? [R_0138_0004__PORK_R_0138_0006__BARREL_R_0138_0007__POLITICS,R_0138_0001__THIS_R_0138_0002__FORM,R_0138_0014__JAPAN_R_0138_0015___APOS_S,R_0138_0016__COASTLINE,R_0138_0024__RIVERS,Z_000_138_A_STUCK_JAPAN_34,R_0138_0009__ONE_R_0138_0010__REASON,R_0138_0008__IS,R_0138_0020__TETRA_R_0138_0021__PODS,R_0138_0017__IS_R_0138_0018__BLIGHTED,R_0138_0027__GREY,R_0138_0028__CONCRETE,R_0138_0025__WALLED,Z_000_138_A_STUCK_JAPAN_68] :
      ( r_0138_0004__pork_r_0138_0006__barrel_r_0138_0007__politics(R_0138_0004__PORK_R_0138_0006__BARREL_R_0138_0007__POLITICS)
      & r_0138_0014__Japan_r_0138_0015___apos_s(R_0138_0014__JAPAN_R_0138_0015___APOS_S)
      & r_0138_0020__tetra_r_0138_0021__pods(R_0138_0020__TETRA_R_0138_0021__PODS)
      & r_0138_0027__grey(R_0138_0027__GREY)
      & z_000_138_a_stuck_japan_68(Z_000_138_A_STUCK_JAPAN_68)
      & has_prd(Z_000_138_A_STUCK_JAPAN_68,R_0138_0025__WALLED)
      & r_0138_0025__walled(R_0138_0025__WALLED)
      & has_r_0138_0026__with(R_0138_0025__WALLED,R_0138_0028__CONCRETE)
      & r_0138_0028__concrete(R_0138_0028__CONCRETE)
      & has_attrib78(R_0138_0028__CONCRETE,R_0138_0027__GREY)
      & has_arg0(Z_000_138_A_STUCK_JAPAN_68,R_0138_0024__RIVERS)
      & r_0138_0024__rivers(R_0138_0024__RIVERS)
      & has_gen(R_0138_0024__RIVERS,R_0138_0014__JAPAN_R_0138_0015___APOS_S)
      & r_0138_0017__is_r_0138_0018__blighted(R_0138_0017__IS_R_0138_0018__BLIGHTED)
      & has_arg0(R_0138_0017__IS_R_0138_0018__BLIGHTED,R_0138_0020__TETRA_R_0138_0021__PODS)
      & has_arg1(R_0138_0017__IS_R_0138_0018__BLIGHTED,R_0138_0016__COASTLINE)
      & r_0138_0016__coastline(R_0138_0016__COASTLINE)
      & has_gen(R_0138_0016__COASTLINE,R_0138_0014__JAPAN_R_0138_0015___APOS_S)
      & r_0138_0008__is(R_0138_0008__IS)
      & has_prd(R_0138_0008__IS,R_0138_0009__ONE_R_0138_0010__REASON)
      & r_0138_0009__one_r_0138_0010__reason(R_0138_0009__ONE_R_0138_0010__REASON)
      & has_r_0138_0011__so_r_0138_0012__much_r_0138_0013__of(R_0138_0009__ONE_R_0138_0010__REASON,Z_000_138_A_STUCK_JAPAN_34)
      & z_000_138_a_stuck_japan_34(Z_000_138_A_STUCK_JAPAN_34)
      & has_conj2(Z_000_138_A_STUCK_JAPAN_34,R_0138_0024__RIVERS)
      & has_conj1(Z_000_138_A_STUCK_JAPAN_34,R_0138_0016__COASTLINE)
      & has_arg0(R_0138_0008__IS,R_0138_0001__THIS_R_0138_0002__FORM)
      & r_0138_0001__This_r_0138_0002__form(R_0138_0001__THIS_R_0138_0002__FORM)
      & has_r_0138_0003__of(R_0138_0001__THIS_R_0138_0002__FORM,R_0138_0004__PORK_R_0138_0006__BARREL_R_0138_0007__POLITICS) ) ).

( (IP-MAT (NP-SBJ (D This;{this})
                  (N form;{form})
                  (PP (P-ROLE of;{of})
                      (NP (N pork;{pork})
                          (PUNC <hyphen>)
                          (N barrel;{barrel})
                          (NS politics;{politics}))))
          (BEP;__ is;{be})
          (NP-PRD (NUM one;{one})
                  (N reason;{reason})
                  (PP (ADV so;{so})
                      (ADV much;{much})
                      (P-ROLE of;{of})
                      (NP (NLYR (NLYR (NP-GEN;{JAPAN} (NPR Japan;{Japan})
                                                      (GENM <apos>s))
                                      (N coastline;{coastline})
                                      (IP-REL (NP-SBJ *T*)
                                              (BEP;_cat_VePASS_ is;{be})
                                              (IP-PPL-CAT (VVN;__ blighted;{blight})
                                                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                  (NP (N tetra;{tetra})
                                                                      (NS pods;{pod}))))))
                                (PUNC ,)
                                (CONJP (NLYR (NP-GEN;{JAPAN} (PRO its;{its}))
                                             (NS rivers;{river})
                                             (IP-REL (NP-SBJ *T*)
                                                     (ADJP-PRD (ADJ walled;{walled})
                                                               (PP (P-ROLE with;{with})
                                                                   (NP (ADJP (ADJ grey;{grey}))
                                                                       (N concrete;{concrete})))))))))))
          (PUNC .))
  (ID 138_a_stuck_japan))