arc(r_0017_0002__was, r_0017_0001__It, arg0).
arc(r_0017_0002__was, z_000_17_a_stuck_japan_9, prd).
arc(r_0017_0004__much, r_0017_0003__how, qual13).
arc(r_0017_0005__richer, r_0017_0004__much, qual12).
arc(r_0017_0005__richer, z_000_17_a_stuck_japan_30, r_0017_0008__than).
arc(r_0017_0007__felt, r_0017_0005__richer, prd).
arc(r_0017_0007__felt, r_0017_0006__Japan, arg0).
arc(r_0017_0009__anywhere_quant, r_0017_0005__richer, scope).
arc(r_0017_0009__anywhere_quant, z_000_17_a_stuck_japan_30, restriction).
arc(r_0017_0012___apos_d, r_0017_0013__been, scope).
arc(r_0017_0012___apos_d, z_000_17_a_stuck_japan_30, nim37).
arc(r_0017_0013__been, r_0017_0011__I, arg0).
arc(r_0017_0013__been, r_0017_0015__Asia, r_0017_0014__in_nim50).
arc(r_0017_0018__exquisitely, r_0017_0017__how, qual59).
arc(r_0017_0020__and, r_0017_0018__exquisitely, qual58).
arc(r_0017_0020__and, r_0017_0019__clean, conj1).
arc(r_0017_0020__and, r_0017_0021__orderly, conj2).
arc(r_0017_0023__was, r_0017_0020__and, prd).
arc(r_0017_0023__was, r_0017_0022__Tokyo, arg0).
arc(r_0017_0024__compared, r_0017_0022__Tokyo, arg1).
arc(r_0017_0024__compared, r_0017_0026__any_r_0017_0029__city, r_0017_0025__to_clr88).
arc(r_0017_0024__compared, z_000_17_a_stuck_japan_81, arg0).
arc(r_0017_0026__any_r_0017_0029__city, r_0017_0027__other, attrib91).
arc(r_0017_0026__any_r_0017_0029__city, r_0017_0028__Asian, attrib94).
arc(z_000_17_a_stuck_japan_30, r_0017_0010__else, qual33).
arc(z_000_17_a_stuck_japan_79, r_0017_0023__was, scope).
arc(z_000_17_a_stuck_japan_79, r_0017_0024__compared, restriction).
arc(z_000_17_a_stuck_japan_9, r_0017_0007__felt, conj1).
arc(z_000_17_a_stuck_japan_9, z_000_17_a_stuck_japan_79, conj2).

fof(formula,axiom,
    ? [R_0017_0001__IT,R_0017_0003__HOW,R_0017_0004__MUCH,R_0017_0010__ELSE,Z_000_17_A_STUCK_JAPAN_30,R_0017_0005__RICHER,R_0017_0006__JAPAN,R_0017_0007__FELT,R_0017_0017__HOW,R_0017_0018__EXQUISITELY,R_0017_0019__CLEAN,R_0017_0021__ORDERLY,R_0017_0020__AND,R_0017_0022__TOKYO,R_0017_0023__WAS,R_0017_0027__OTHER,R_0017_0028__ASIAN,R_0017_0026__ANY_R_0017_0029__CITY,Z_000_17_A_STUCK_JAPAN_81,R_0017_0024__COMPARED,Z_000_17_A_STUCK_JAPAN_79,Z_000_17_A_STUCK_JAPAN_9,R_0017_0002__WAS] :
      ( r_0017_0001__It(R_0017_0001__IT)
      & r_0017_0003__how(R_0017_0003__HOW)
      & r_0017_0006__Japan(R_0017_0006__JAPAN)
      & r_0017_0010__else(R_0017_0010__ELSE)
      & r_0017_0017__how(R_0017_0017__HOW)
      & r_0017_0019__clean(R_0017_0019__CLEAN)
      & r_0017_0021__orderly(R_0017_0021__ORDERLY)
      & r_0017_0022__Tokyo(R_0017_0022__TOKYO)
      & r_0017_0027__other(R_0017_0027__OTHER)
      & r_0017_0028__Asian(R_0017_0028__ASIAN)
      & z_000_17_a_stuck_japan_81(Z_000_17_A_STUCK_JAPAN_81)
      & ! [R_0017_0011__I,R_0017_0015__ASIA,R_0017_0012___APOS_D_R_0017_0013__BEEN] :
          ( ( r_0017_0011__I(R_0017_0011__I)
            & r_0017_0015__Asia(R_0017_0015__ASIA)
            & r_0017_0012___apos_d_r_0017_0013__been(R_0017_0012___APOS_D_R_0017_0013__BEEN)
            & has_r_0017_0014__in_nim50(R_0017_0012___APOS_D_R_0017_0013__BEEN,R_0017_0015__ASIA)
            & has_arg0(R_0017_0012___APOS_D_R_0017_0013__BEEN,R_0017_0011__I)
            & has_nim37(R_0017_0012___APOS_D_R_0017_0013__BEEN,Z_000_17_A_STUCK_JAPAN_30) )
         => r_0017_0007__felt(R_0017_0007__FELT) )
      & r_0017_0002__was(R_0017_0002__WAS)
      & has_prd(R_0017_0002__WAS,Z_000_17_A_STUCK_JAPAN_9)
      & z_000_17_a_stuck_japan_9(Z_000_17_A_STUCK_JAPAN_9)
      & has_conj2(Z_000_17_A_STUCK_JAPAN_9,Z_000_17_A_STUCK_JAPAN_79)
      & z_000_17_a_stuck_japan_79(Z_000_17_A_STUCK_JAPAN_79)
      & has_conj1(Z_000_17_A_STUCK_JAPAN_79,R_0017_0024__COMPARED)
      & r_0017_0024__compared(R_0017_0024__COMPARED)
      & has_arg0(R_0017_0024__COMPARED,Z_000_17_A_STUCK_JAPAN_81)
      & has_r_0017_0025__to_clr88(R_0017_0024__COMPARED,R_0017_0026__ANY_R_0017_0029__CITY)
      & r_0017_0026__any_r_0017_0029__city(R_0017_0026__ANY_R_0017_0029__CITY)
      & has_attrib94(R_0017_0026__ANY_R_0017_0029__CITY,R_0017_0028__ASIAN)
      & has_attrib91(R_0017_0026__ANY_R_0017_0029__CITY,R_0017_0027__OTHER)
      & has_arg1(R_0017_0024__COMPARED,R_0017_0022__TOKYO)
      & has_conj2(Z_000_17_A_STUCK_JAPAN_79,R_0017_0023__WAS)
      & r_0017_0023__was(R_0017_0023__WAS)
      & has_arg0(R_0017_0023__WAS,R_0017_0022__TOKYO)
      & has_prd(R_0017_0023__WAS,R_0017_0020__AND)
      & r_0017_0020__and(R_0017_0020__AND)
      & has_conj2(R_0017_0020__AND,R_0017_0021__ORDERLY)
      & has_conj1(R_0017_0020__AND,R_0017_0019__CLEAN)
      & has_qual58(R_0017_0020__AND,R_0017_0018__EXQUISITELY)
      & r_0017_0018__exquisitely(R_0017_0018__EXQUISITELY)
      & has_qual59(R_0017_0018__EXQUISITELY,R_0017_0017__HOW)
      & has_conj1(Z_000_17_A_STUCK_JAPAN_9,R_0017_0007__FELT)
      & r_0017_0007__felt(R_0017_0007__FELT)
      & has_arg0(R_0017_0007__FELT,R_0017_0006__JAPAN)
      & has_prd(R_0017_0007__FELT,R_0017_0005__RICHER)
      & r_0017_0005__richer(R_0017_0005__RICHER)
      & has_r_0017_0008__than(R_0017_0005__RICHER,Z_000_17_A_STUCK_JAPAN_30)
      & z_000_17_a_stuck_japan_30(Z_000_17_A_STUCK_JAPAN_30)
      & has_qual33(Z_000_17_A_STUCK_JAPAN_30,R_0017_0010__ELSE)
      & has_qual12(R_0017_0005__RICHER,R_0017_0004__MUCH)
      & r_0017_0004__much(R_0017_0004__MUCH)
      & has_qual13(R_0017_0004__MUCH,R_0017_0003__HOW)
      & has_arg0(R_0017_0002__WAS,R_0017_0001__IT) ) ).

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BED;__ was;{be})
          (CP-QUE-PRD (IP-SUB (ILYR (ILYR (ADJP-PRD (ADVP (ADVP (WADV how;{how}))
                                                          (ADV much;{much}))
                                                    (ADJR richer;{rich})
                                                    (PP *ICH*-182))
                                          (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
                                          (VBD;_La_ felt;{feel})
                                          (PP-182 (P-ROLE than;{than})
                                                  (NP (Q;_nphd_ anywhere;{anywhere})
                                                      (ADVP (ADV else;{else}))
                                                      (IP-REL (NP-NIM *T*)
                                                              (NP-SBJ (PRO I;{I}))
                                                              (HVD;_cat_Ve_ <apos>d;{have})
                                                              (IP-PPL-CAT (BEN;__ been;{be})
                                                                          (PP-NIM (P-ROLE in;{in})
                                                                                  (NP (NPR Asia;{Asia}))))))))
                                    (PUNC ;)
                                    (CONJP (ILYR (ADJP-PRD (ADVP (ADVP (WADV how;{how}))
                                                                 (ADV exquisitely;{exquisitely}))
                                                           (AJLYR (AJLYR (ADJ clean;{clean}))
                                                                  (CONJP (CONJ and;{and})
                                                                         (AJLYR (ADJ orderly;{orderly})))))
                                                 (NP-SBJ (NPR Tokyo;{Tokyo}))
                                                 (BED;_La_ was;{be})
                                                 (PP-SCON (IP-PPL (NP-LGS *)
                                                                  (VVN;_Tn.pr_ compared;{compare[to]})
                                                                  (PP-CLR (P-ROLE to;{to})
                                                                          (NP (D any;{any})
                                                                              (ADJP (ADJ other;{other}))
                                                                              (ADJP (ADJ Asian;{Asian}))
                                                                              (N city;{city}))))))))))
          (PUNC .))
  (ID 17_a_stuck_japan))