( (IP-MAT (NP-SBJ (PRO You;{you}))
          (VBP;_Tf_ know;{know})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO I;{I}))
                              (VBD;_Ipr_ applied;{apply[for]})
                              (PP-CLR (P-ROLE for;{for})
                                      (NP (NS jobs;{job})
                                          (PP (P-ROLE during;{during})
                                              (NP (D the;{the})
                                                  (N summer;{summer})
                                                  (N holiday;{holiday})))))))
          (PUNC ?))
  (ID 27_a_fce_0101_2001_06))

arc(r_0027_0002__know,r_0027_0001__You,arg0).
arc(r_0027_0002__know,r_0027_0004__applied_r_0027_0005__for,arg1).
arc(r_0027_0004__applied_r_0027_0005__for,r_0027_0003__I,arg0).
arc(r_0027_0004__applied_r_0027_0005__for,r_0027_0006__jobs,arg1).
arc(r_0027_0006__jobs,r_0027_0008__the_r_0027_0009__summer_r_0027_0010__holiday,r_0027_0007__during).

fof(formula,axiom,
    ? [R_0027_0001__YOU,R_0027_0003__I,R_0027_0008__THE_R_0027_0009__SUMMER_R_0027_0010__HOLIDAY,R_0027_0006__JOBS,R_0027_0004__APPLIED_R_0027_0005__FOR,R_0027_0002__KNOW] :
      ( r_0027_0001__You(R_0027_0001__YOU)
      & r_0027_0003__I(R_0027_0003__I)
      & r_0027_0008__the_r_0027_0009__summer_r_0027_0010__holiday(R_0027_0008__THE_R_0027_0009__SUMMER_R_0027_0010__HOLIDAY)
      & r_0027_0002__know(R_0027_0002__KNOW)
      & has_arg1(R_0027_0002__KNOW,R_0027_0004__APPLIED_R_0027_0005__FOR)
      & r_0027_0004__applied_r_0027_0005__for(R_0027_0004__APPLIED_R_0027_0005__FOR)
      & has_arg1(R_0027_0004__APPLIED_R_0027_0005__FOR,R_0027_0006__JOBS)
      & r_0027_0006__jobs(R_0027_0006__JOBS)
      & has_r_0027_0007__during(R_0027_0006__JOBS,R_0027_0008__THE_R_0027_0009__SUMMER_R_0027_0010__HOLIDAY)
      & has_arg0(R_0027_0004__APPLIED_R_0027_0005__FOR,R_0027_0003__I)
      & has_arg0(R_0027_0002__KNOW,R_0027_0001__YOU) ) ).