TSPC 21_a_stuck

21_a_stuck_japan
Yes, Tokyo was a concrete jungle, but it was a beautifully manicured one.

( (IP-MAT (ILYR (ILYR (REACT Yes)
                      (PUNC ,)
                      (NP-SBJ;{TOKYO} (NPR Tokyo;{Tokyo}))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ concrete;{concrete}))
                              (N jungle;{jungle})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{TOKYO} (PRO it;{it}))
                             (BED;_Ln_ was;{be})
                             (NP-PRD (D a;{a})
                                     (ADJP (ADVP (ADV beautifully;{beautifully}))
                                           (ADJ manicured;{manicured}))
                                     (N one;{one})))))
          (PUNC .))
  (ID 21_a_stuck_japan))

arc(r_0021_0004__was,r_0021_0003__Tokyo,arg0).
arc(r_0021_0004__was,r_0021_0005__a_r_0021_0007__jungle,prd).
arc(r_0021_0005__a_r_0021_0007__jungle,r_0021_0006__concrete,attrib).
arc(r_0021_0009__but,r_0021_0004__was,conj1).
arc(r_0021_0009__but,r_0021_0011__was,conj2).
arc(r_0021_0011__was,r_0021_0003__Tokyo,arg0).
arc(r_0021_0011__was,r_0021_0012__a_r_0021_0015__one,prd).
arc(r_0021_0012__a_r_0021_0015__one,r_0021_0014__manicured,attrib).
arc(r_0021_0014__manicured,r_0021_0013__beautifully,qual).

fof(formula,axiom,
    ? [R_0021_0003__TOKYO,R_0021_0006__CONCRETE,R_0021_0005__A_R_0021_0007__JUNGLE,R_0021_0004__WAS,R_0021_0013__BEAUTIFULLY,R_0021_0014__MANICURED,R_0021_0012__A_R_0021_0015__ONE,R_0021_0011__WAS,R_0021_0009__BUT] :
      ( r_0021_0003__Tokyo(R_0021_0003__TOKYO)
      & r_0021_0006__concrete(R_0021_0006__CONCRETE)
      & r_0021_0013__beautifully(R_0021_0013__BEAUTIFULLY)
      & r_0021_0009__but(R_0021_0009__BUT)
      & has_conj2(R_0021_0009__BUT,R_0021_0011__WAS)
      & r_0021_0011__was(R_0021_0011__WAS)
      & has_prd(R_0021_0011__WAS,R_0021_0012__A_R_0021_0015__ONE)
      & r_0021_0012__a_r_0021_0015__one(R_0021_0012__A_R_0021_0015__ONE)
      & has_attrib(R_0021_0012__A_R_0021_0015__ONE,R_0021_0014__MANICURED)
      & r_0021_0014__manicured(R_0021_0014__MANICURED)
      & has_qual(R_0021_0014__MANICURED,R_0021_0013__BEAUTIFULLY)
      & has_arg0(R_0021_0011__WAS,R_0021_0003__TOKYO)
      & has_conj1(R_0021_0009__BUT,R_0021_0004__WAS)
      & r_0021_0004__was(R_0021_0004__WAS)
      & has_prd(R_0021_0004__WAS,R_0021_0005__A_R_0021_0007__JUNGLE)
      & r_0021_0005__a_r_0021_0007__jungle(R_0021_0005__A_R_0021_0007__JUNGLE)
      & has_attrib(R_0021_0005__A_R_0021_0007__JUNGLE,R_0021_0006__CONCRETE)
      & has_arg0(R_0021_0004__WAS,R_0021_0003__TOKYO) ) ).