arc(r_0081_0002__Are, r_0081_0003__you, arg0).
arc(r_0081_0002__Are, r_0081_0005__holiday, r_0081_0004__on_clr15).
arc(r_0081_0009__asked, r_0081_0008__I, arg0).
arc(r_0081_0009__asked, utterance_81_a_loosechange_4, arg1).
arc(utterance_81_a_loosechange_4, r_0081_0002__Are, part1).

fof(formula,axiom,
    ? [R_81_9_ASKED,R_81_8_I,UTTERANCE_81_A_LOOSECHANGE_4,R_81_2_ARE,R_81_3_YOU,R_81_5_HOLIDAY] :
      ( i(R_81_8_I)
      & you(R_81_3_YOU)
      & holiday(R_81_5_HOLIDAY)
      & asked(R_81_9_ASKED,R_81_8_I,UTTERANCE_81_A_LOOSECHANGE_4)
      & utterance_81_a_loosechange_4(UTTERANCE_81_A_LOOSECHANGE_4)
      & part1(UTTERANCE_81_A_LOOSECHANGE_4,R_81_2_ARE)
      & are(R_81_2_ARE,R_81_3_YOU)
      & on_clr15(R_81_2_ARE,R_81_5_HOLIDAY) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_Ipr_ Are;{be[on]})
                                             (NP-SBJ (PRO you;{you}))
                                             (PP-CLR (P-ROLE on;{on})
                                                     (NP (N holiday;{holiday}))))
                                     (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ asked;{ask})
          (PUNC .))
  (ID 81_a_loosechange))