arc(r_0042_0002__is, r_0042_0001__That, arg0).
arc(r_0042_0002__is, r_0042_0005__especially_r_0042_0006__after, prd).
arc(r_0042_0005__especially_r_0042_0006__after, r_0042_0008__was, restriction).
arc(r_0042_0005__especially_r_0042_0006__after, r_0042_0025__so_that, scope).
arc(r_0042_0008__was, r_0042_0009__brought, scope).
arc(r_0042_0009__brought, r_0042_0001__That, arg1).
arc(r_0042_0009__brought, r_0042_0011__Japan, r_0042_0010__to_nim33).
arc(r_0042_0009__brought, z_000_42_a_kyoto_2_26, arg0).
arc(r_0042_0014__has, r_0042_0003__why, nim9).
arc(r_0042_0014__has, r_0042_0015__been, scope).
arc(r_0042_0015__been, r_0042_0016__expressed, scope).
arc(r_0042_0016__expressed, r_0042_0013__enlightenment, arg1).
arc(r_0042_0016__expressed, r_0042_0019__expression, r_0042_0017__through_nim54).
arc(r_0042_0016__expressed, z_000_42_a_kyoto_2_47, arg0).
arc(r_0042_0019__expression, r_0042_0018__artistic, attrib55).
arc(r_0042_0019__expression, r_0042_0022__and, r_0042_0020__such_as).
arc(r_0042_0022__and, r_0042_0021__poetry, conj1).
arc(r_0042_0022__and, r_0042_0023__painting, conj2).
arc(r_0042_0025__so_that, r_0042_0014__has, scope).
arc(r_0042_0025__so_that, r_0042_0027__can, restriction).
arc(r_0042_0027__can, r_0042_0028__get, scope).
arc(r_0042_0028__get, r_0042_0026__one, arg0).
arc(r_0042_0028__get, r_0042_0029__a_r_0042_0030__taste, arg1).
arc(r_0042_0029__a_r_0042_0030__taste, r_0042_0033__aroma, r_0042_0031__of).
arc(r_0042_0033__aroma, r_0042_0001__That, gen).

fof(formula,axiom,
    ? [R_42_2_IS,R_42_5_ESPECIALLY_AFTER,R_42_8_WAS_BROUGHT,Z_42_A_KYOTO_2_26,R_42_11_JAPAN,R_42_25_SO_THAT,R_42_27_CAN_GET,R_42_26_ONE,R_42_29_A_TASTE,R_42_33_AROMA,R_42_1_THAT,R_42_14_HAS_BEEN_EXPRESSED,Z_42_A_KYOTO_2_47,R_42_13_ENLIGHTENMENT,R_42_3_WHY,R_42_19_EXPRESSION,R_42_18_ARTISTIC,R_42_22_AND,R_42_21_POETRY,R_42_23_PAINTING] :
      ( japan(R_42_11_JAPAN)
      & one(R_42_26_ONE)
      & that(R_42_1_THAT)
      & enlightenment(R_42_13_ENLIGHTENMENT)
      & why(R_42_3_WHY)
      & artistic(R_42_18_ARTISTIC)
      & poetry(R_42_21_POETRY)
      & painting(R_42_23_PAINTING)
      & is(R_42_2_IS,R_42_1_THAT,R_42_5_ESPECIALLY_AFTER)
      & especially_after(R_42_5_ESPECIALLY_AFTER)
      & conj1(R_42_5_ESPECIALLY_AFTER,R_42_8_WAS_BROUGHT)
      & was_brought(R_42_8_WAS_BROUGHT,Z_42_A_KYOTO_2_26,R_42_1_THAT)
      & to_nim33(R_42_8_WAS_BROUGHT,R_42_11_JAPAN)
      & conj2(R_42_5_ESPECIALLY_AFTER,R_42_25_SO_THAT)
      & so_that(R_42_25_SO_THAT)
      & conj1(R_42_25_SO_THAT,R_42_27_CAN_GET)
      & can_get(R_42_27_CAN_GET,R_42_26_ONE,R_42_29_A_TASTE)
      & a_taste(R_42_29_A_TASTE)
      & of(R_42_29_A_TASTE,R_42_33_AROMA)
      & aroma(R_42_33_AROMA)
      & gen(R_42_33_AROMA,R_42_1_THAT)
      & conj2(R_42_25_SO_THAT,R_42_14_HAS_BEEN_EXPRESSED)
      & has_been_expressed(R_42_14_HAS_BEEN_EXPRESSED,Z_42_A_KYOTO_2_47,R_42_13_ENLIGHTENMENT)
      & nim9(R_42_14_HAS_BEEN_EXPRESSED,R_42_3_WHY)
      & through_nim54(R_42_14_HAS_BEEN_EXPRESSED,R_42_19_EXPRESSION)
      & expression(R_42_19_EXPRESSION)
      & attrib55(R_42_19_EXPRESSION,R_42_18_ARTISTIC)
      & such_as(R_42_19_EXPRESSION,R_42_22_AND)
      & and(R_42_22_AND)
      & conj1(R_42_22_AND,R_42_21_POETRY)
      & conj2(R_42_22_AND,R_42_23_PAINTING) ) ).

( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_equ_Vw_ is;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (PUNC ,)
                              (PP-SCON (ADV especially;{especially})
                                       (P-CONN after;{after})
                                       (IP-ADV (NP-SBJ (PRO it;{it}))
                                               (BED;_cat_VePASS_ was;{be})
                                               (IP-PPL-CAT (NP-LGS *)
                                                           (VVN;__ brought;{bring})
                                                           (PP-NIM (P-ROLE to;{to})
                                                                   (NP (NPR Japan;{Japan}))))))
                              (PUNC ,)
                              (NP-SBJ (N enlightenment;{enlightenment}))
                              (HVP;_cat_Ve_ has;{have})
                              (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;__ expressed;{express})
                                                      (PP-NIM (P-ROLE through;{through})
                                                              (NP (ADJP (ADJ artistic;{artistic}))
                                                                  (N expression;{expression})
                                                                  (PP (P-ROLE such_as;{such_as})
                                                                      (NP (NLYR (NLYR (N poetry;{poetry}))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (NLYR (N painting;{painting}))))))))))
                              (PUNC ,)
                              (PP-SCON (P-CONN so_that;{so_that})
                                       (IP-ADV (NP-SBJ (NUM one;{one}))
                                               (MD;_cat_Vi_ can;{can})
                                               (IP-INF-CAT (VB;__ get;{get})
                                                           (NP-OB1 (D a;{a})
                                                                   (N taste;{taste})
                                                                   (PP (P-ROLE of;{of})
                                                                       (NP (NP-GEN (PRO;_genm_ its;{its}))
                                                                           (N aroma;{aroma})))))))))
          (PUNC .))
  (ID 42_a_kyoto_2;BDS_00002;42))