( (IP-MAT (NP-SBJ (Q All;{all})
                  (NLYR (NLYR (NLYR (N accommodation;{accommodation}))
                              (CONJP (CONJ and;{and})
                                     (NLYR (N travel;{travel})))))
                  (NS costs;{cost}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Ipr_ paid;{pay[for]})
                      (PP-CLR (P-ROLE for;{for})))
          (PUNC ,)
          (PP-NIM (P-ROLE including;{including})
                  (NP (N transport;{transport})
                      (PP (P-ROLE to_and_from;{to_and_from})
                          (NP (D the;{the})
                              (N airport;{airport})))))
          (PUNC .))
  (ID 8_a_fce_0100_2000_06))

arc(r_0008_0001__All__quant,r_0008_0005__costs,restriction).
arc(r_0008_0001__All__quant,r_0008_0006__are,scope).
arc(r_0008_0003__and,r_0008_0002__accommodation,conj1).
arc(r_0008_0003__and,r_0008_0004__travel,conj2).
arc(r_0008_0005__costs,r_0008_0003__and,nim).
arc(r_0008_0006__are,r_0008_0007__paid_r_0008_0008__for,scope).
arc(r_0008_0006__are,r_0008_0011__transport,r_0008_0010__including__nim).
arc(r_0008_0007__paid_r_0008_0008__for,r_0008_0005__costs,arg1).
arc(r_0008_0007__paid_r_0008_0008__for,z_0008_5009___star_,arg0).
arc(r_0008_0011__transport,r_0008_0013__the_r_0008_0014__airport,r_0008_0012__to_and_from).

fof(formula,axiom,
    ! [R_0008_0005__COSTS,R_0008_0002__ACCOMMODATION,R_0008_0004__TRAVEL,R_0008_0003__AND] :
      ( ( r_0008_0002__accommodation(R_0008_0002__ACCOMMODATION)
        & r_0008_0004__travel(R_0008_0004__TRAVEL)
        & r_0008_0005__costs(R_0008_0005__COSTS)
        & has_nim(R_0008_0005__COSTS,R_0008_0003__AND)
        & r_0008_0003__and(R_0008_0003__AND)
        & has_conj2(R_0008_0003__AND,R_0008_0004__TRAVEL)
        & has_conj1(R_0008_0003__AND,R_0008_0002__ACCOMMODATION) )
     => ? [R_0008_0013__THE_R_0008_0014__AIRPORT,R_0008_0011__TRANSPORT,Z_0008_5009___STAR_,R_0008_0006__ARE_R_0008_0007__PAID_R_0008_0008__FOR] :
          ( r_0008_0013__the_r_0008_0014__airport(R_0008_0013__THE_R_0008_0014__AIRPORT)
          & z_0008_5009___star_(Z_0008_5009___STAR_)
          & r_0008_0006__are_r_0008_0007__paid_r_0008_0008__for(R_0008_0006__ARE_R_0008_0007__PAID_R_0008_0008__FOR)
          & has_arg0(R_0008_0006__ARE_R_0008_0007__PAID_R_0008_0008__FOR,Z_0008_5009___STAR_)
          & has_arg1(R_0008_0006__ARE_R_0008_0007__PAID_R_0008_0008__FOR,R_0008_0005__COSTS)
          & has_r_0008_0010__including__nim(R_0008_0006__ARE_R_0008_0007__PAID_R_0008_0008__FOR,R_0008_0011__TRANSPORT)
          & r_0008_0011__transport(R_0008_0011__TRANSPORT)
          & has_r_0008_0012__to_and_from(R_0008_0011__TRANSPORT,R_0008_0013__THE_R_0008_0014__AIRPORT) ) ) ).