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_17_2_WAS,R_17_1_IT,Z_17_A_STUCK_JAPAN_9,R_17_7_FELT,R_17_6_JAPAN,R_17_5_RICHER,R_17_4_MUCH,R_17_3_HOW,Z_17_A_STUCK_JAPAN_30,R_17_10_ELSE,Z_17_A_STUCK_JAPAN_79,R_17_24_COMPARED,Z_17_A_STUCK_JAPAN_81,R_17_26_ANY_CITY,R_17_27_OTHER,R_17_28_ASIAN,R_17_23_WAS,R_17_22_TOKYO,R_17_20_AND,R_17_19_CLEAN,R_17_21_ORDERLY,R_17_18_EXQUISITELY,R_17_17_HOW] :
      ( it(R_17_1_IT)
      & japan(R_17_6_JAPAN)
      & how(R_17_3_HOW)
      & else(R_17_10_ELSE)
      & other(R_17_27_OTHER)
      & asian(R_17_28_ASIAN)
      & tokyo(R_17_22_TOKYO)
      & clean(R_17_19_CLEAN)
      & orderly(R_17_21_ORDERLY)
      & how(R_17_17_HOW)
      & was(R_17_2_WAS,R_17_1_IT,Z_17_A_STUCK_JAPAN_9)
      & z_17_a_stuck_japan_9(Z_17_A_STUCK_JAPAN_9)
      & conj1(Z_17_A_STUCK_JAPAN_9,R_17_7_FELT)
      & felt(R_17_7_FELT,R_17_6_JAPAN,R_17_5_RICHER)
      & richer(R_17_5_RICHER)
      & qual12(R_17_5_RICHER,R_17_4_MUCH)
      & much(R_17_4_MUCH)
      & qual13(R_17_4_MUCH,R_17_3_HOW)
      & than(R_17_5_RICHER,Z_17_A_STUCK_JAPAN_30)
      & z_17_a_stuck_japan_30(Z_17_A_STUCK_JAPAN_30)
      & qual33(Z_17_A_STUCK_JAPAN_30,R_17_10_ELSE)
      & conj2(Z_17_A_STUCK_JAPAN_9,Z_17_A_STUCK_JAPAN_79)
      & z_17_a_stuck_japan_79(Z_17_A_STUCK_JAPAN_79)
      & conj1(Z_17_A_STUCK_JAPAN_79,R_17_24_COMPARED)
      & compared(R_17_24_COMPARED,Z_17_A_STUCK_JAPAN_81,R_17_22_TOKYO)
      & to_clr88(R_17_24_COMPARED,R_17_26_ANY_CITY)
      & any_city(R_17_26_ANY_CITY)
      & attrib91(R_17_26_ANY_CITY,R_17_27_OTHER)
      & attrib94(R_17_26_ANY_CITY,R_17_28_ASIAN)
      & conj2(Z_17_A_STUCK_JAPAN_79,R_17_23_WAS)
      & was(R_17_23_WAS,R_17_22_TOKYO,R_17_20_AND)
      & and(R_17_20_AND)
      & conj1(R_17_20_AND,R_17_19_CLEAN)
      & conj2(R_17_20_AND,R_17_21_ORDERLY)
      & qual58(R_17_20_AND,R_17_18_EXQUISITELY)
      & exquisitely(R_17_18_EXQUISITELY)
      & qual59(R_17_18_EXQUISITELY,R_17_17_HOW)
      & ! [R_17_12__APOS_D_BEEN,R_17_11_I,R_17_15_ASIA] :
          ( ( i(R_17_11_I)
            & asia(R_17_15_ASIA)
            & _apos_d_been(R_17_12__APOS_D_BEEN,R_17_11_I)
            & nim37(R_17_12__APOS_D_BEEN,Z_17_A_STUCK_JAPAN_30)
            & in_nim50(R_17_12__APOS_D_BEEN,R_17_15_ASIA) )
         => true ) ) ).

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