arc(utterance_88_a_stuck_japan_4, r_0088_0003__is, part1).
arc(r_0088_0003__is, r_0088_0002__This, arg0).
arc(r_0088_0003__is, r_0088_0005__a_r_0088_0007__place, prd).
arc(r_0088_0005__a_r_0088_0007__place, r_0088_0004__such, attrib12).
arc(r_0088_0005__a_r_0088_0007__place, r_0088_0006__beautiful, attrib17).
arc(r_0088_0011__said, utterance_88_a_stuck_japan_4, arg1).
arc(r_0088_0011__said, r_0088_0005__a_r_0088_0007__place, arg2).
arc(r_0088_0011__said, r_0088_0010__I, arg0).

fof(formula,axiom,
    ? [R_88_11_SAID,R_88_10_I,UTTERANCE_88_A_STUCK_JAPAN_4,R_88_3_IS,R_88_2_THIS,R_88_5_A_PLACE,R_88_4_SUCH,R_88_6_BEAUTIFUL] :
      ( i(R_88_10_I)
      & this(R_88_2_THIS)
      & such(R_88_4_SUCH)
      & beautiful(R_88_6_BEAUTIFUL)
      & said(R_88_11_SAID,R_88_10_I,UTTERANCE_88_A_STUCK_JAPAN_4,R_88_5_A_PLACE)
      & utterance_88_a_stuck_japan_4(UTTERANCE_88_A_STUCK_JAPAN_4)
      & part1(UTTERANCE_88_A_STUCK_JAPAN_4,R_88_3_IS)
      & is(R_88_3_IS,R_88_2_THIS,R_88_5_A_PLACE)
      & a_place(R_88_5_A_PLACE)
      & attrib12(R_88_5_A_PLACE,R_88_4_SUCH)
      & attrib17(R_88_5_A_PLACE,R_88_6_BEAUTIFUL) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (D This;{this}))
                                 (BEP;_Ln_ is;{be})
                                 (NP-PRD (ADJP (ADJ;_such_ such;{such}))
                                         (D a;{a})
                                         (ADJP (ADJ beautiful;{beautiful}))
                                         (N place;{place}))))
          (PUNC ,)
          (PULQ <ldquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ said;{say})
          (PP-OB2 (P-ROLE to;{to})
                  (NP (PRO them;{they})))
          (PUNC .))
  (ID 88_a_stuck_japan))