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

arc(r_0081_0002__Are_r_0081_0004__on,r_0081_0003__you,arg0).
arc(r_0081_0002__Are_r_0081_0004__on,r_0081_0005__holiday,arg1).
arc(r_0081_0009__asked,r_0081_0008__I,arg0).
arc(r_0081_0009__asked,z_0081_5002__utterance,arg1).
arc(z_0081_5002__utterance,r_0081_0002__Are_r_0081_0004__on,part1).

fof(formula,axiom,
    ? [R_0081_0008__I,R_0081_0003__YOU,R_0081_0005__HOLIDAY,R_0081_0002__ARE_R_0081_0004__ON,Z_0081_5002__UTTERANCE,R_0081_0009__ASKED] :
      ( r_0081_0003__you(R_0081_0003__YOU)
      & r_0081_0005__holiday(R_0081_0005__HOLIDAY)
      & r_0081_0008__I(R_0081_0008__I)
      & r_0081_0009__asked(R_0081_0009__ASKED)
      & has_arg1(R_0081_0009__ASKED,Z_0081_5002__UTTERANCE)
      & z_0081_5002__utterance(Z_0081_5002__UTTERANCE)
      & has_part1(Z_0081_5002__UTTERANCE,R_0081_0002__ARE_R_0081_0004__ON)
      & r_0081_0002__Are_r_0081_0004__on(R_0081_0002__ARE_R_0081_0004__ON)
      & has_arg1(R_0081_0002__ARE_R_0081_0004__ON,R_0081_0005__HOLIDAY)
      & has_arg0(R_0081_0002__ARE_R_0081_0004__ON,R_0081_0003__YOU)
      & has_arg0(R_0081_0009__ASKED,R_0081_0008__I) ) ).