TSPC 86_a_stuck

86_a_stuck_japan
It was surrounded by picture postcard rice paddies and hills covered in dense forest.

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn_ surrounded;{surround})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NLYR (N picture;{picture})
                                        (N postcard;{postcard}))
                                  (NLYR (NLYR (N rice;{rice})
                                              (NS paddies;{paddy}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS hills;{hill})
                                                     (IP-PPL (NP-LGS *)
                                                             (VVN;_Tn.pr_ covered;{cover[in]})
                                                             (PP-CLR (P-ROLE in;{in})
                                                                     (NP (ADJP (ADJ dense;{dense}))
                                                                         (N forest;{forest}))))))))))
          (PUNC .))
  (ID 86_a_stuck_japan))

arc(r_0086_0002__was,r_0086_0003__surrounded,scope).
arc(r_0086_0003__surrounded,r_0086_0001__It,arg1).
arc(r_0086_0003__surrounded,r_0086_0009__and,r_0086_0004__by_arg0).
arc(r_0086_0009__and,r_0086_0005__picture_r_0086_0006__postcard,nim).
arc(r_0086_0009__and,r_0086_0007__rice_r_0086_0008__paddies,conj1).
arc(r_0086_0009__and,r_0086_0010__hills,conj2).
arc(r_0086_0011__covered_r_0086_0012__in,r_0086_0010__hills,inv_arg1).
arc(r_0086_0011__covered_r_0086_0012__in,r_0086_0014__forest,arg2).
arc(r_0086_0011__covered_r_0086_0012__in,z_0086_5008___star_,arg0).
arc(r_0086_0014__forest,r_0086_0013__dense,attrib).

fof(formula,axiom,
    ? [R_0086_0001__IT,R_0086_0005__PICTURE_R_0086_0006__POSTCARD,R_0086_0007__RICE_R_0086_0008__PADDIES,R_0086_0013__DENSE,R_0086_0014__FOREST,Z_0086_5008___STAR_,R_0086_0011__COVERED_R_0086_0012__IN,R_0086_0010__HILLS,R_0086_0009__AND,R_0086_0002__WAS_R_0086_0003__SURROUNDED] :
      ( r_0086_0001__It(R_0086_0001__IT)
      & r_0086_0005__picture_r_0086_0006__postcard(R_0086_0005__PICTURE_R_0086_0006__POSTCARD)
      & r_0086_0007__rice_r_0086_0008__paddies(R_0086_0007__RICE_R_0086_0008__PADDIES)
      & r_0086_0013__dense(R_0086_0013__DENSE)
      & z_0086_5008___star_(Z_0086_5008___STAR_)
      & r_0086_0002__was_r_0086_0003__surrounded(R_0086_0002__WAS_R_0086_0003__SURROUNDED)
      & has_r_0086_0004__by_arg0(R_0086_0002__WAS_R_0086_0003__SURROUNDED,R_0086_0009__AND)
      & r_0086_0009__and(R_0086_0009__AND)
      & has_conj2(R_0086_0009__AND,R_0086_0010__HILLS)
      & r_0086_0010__hills(R_0086_0010__HILLS)
      & has_inv_arg1(R_0086_0010__HILLS,R_0086_0011__COVERED_R_0086_0012__IN)
      & r_0086_0011__covered_r_0086_0012__in(R_0086_0011__COVERED_R_0086_0012__IN)
      & has_arg0(R_0086_0011__COVERED_R_0086_0012__IN,Z_0086_5008___STAR_)
      & has_arg2(R_0086_0011__COVERED_R_0086_0012__IN,R_0086_0014__FOREST)
      & r_0086_0014__forest(R_0086_0014__FOREST)
      & has_attrib(R_0086_0014__FOREST,R_0086_0013__DENSE)
      & has_conj1(R_0086_0009__AND,R_0086_0007__RICE_R_0086_0008__PADDIES)
      & has_nim(R_0086_0009__AND,R_0086_0005__PICTURE_R_0086_0006__POSTCARD)
      & has_arg1(R_0086_0002__WAS_R_0086_0003__SURROUNDED,R_0086_0001__IT) ) ).