Context                Previous, Next                Top


8_a_fce_0100_2000_06
All accommodation and travel costs are paid for, including transport to and from the airport.

%3 r_0008_0001__All_quant All [quant] r_0008_0003__and and r_0008_0001__All_quant->r_0008_0003__and [restriction] r_0008_0006__are are r_0008_0001__All_quant->r_0008_0006__are [scope] r_0008_0002__accommodation accommodation r_0008_0003__and->r_0008_0002__accommodation [conj1] r_0008_0004__travel_r_0008_0005__costs travel costs r_0008_0003__and->r_0008_0004__travel_r_0008_0005__costs [conj2] r_0008_0007__paid paid r_0008_0006__are->r_0008_0007__paid [scope] r_0008_0011__transport transport r_0008_0006__are->r_0008_0011__transport including [nim] r_0008_0007__paid->r_0008_0003__and [arg1] z_000_8_a_fce_0100_2000_06_20 r_0008_0007__paid->z_000_8_a_fce_0100_2000_06_20 [arg0] r_0008_0013__the_r_0008_0014__airport the airport r_0008_0011__transport->r_0008_0013__the_r_0008_0014__airport to and from 
arc(r_0008_0001__All_quant, r_0008_0003__and, 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_r_0008_0005__costs, conj2).
arc(r_0008_0006__are, r_0008_0007__paid, scope).
arc(r_0008_0006__are, r_0008_0011__transport, r_0008_0010__including_nim32).
arc(r_0008_0007__paid, r_0008_0003__and, arg1).
arc(r_0008_0007__paid, z_000_8_a_fce_0100_2000_06_20, arg0).
arc(r_0008_0011__transport, r_0008_0013__the_r_0008_0014__airport, r_0008_0012__to_and_from).


%3 r_0008_0011__transport transport r_0008_0013__the_r_0008_0014__airport the airport r_0008_0011__transport->r_0008_0013__the_r_0008_0014__airport to and from r_0008_0006__are_r_0008_0007__paid are paid r_0008_0006__are_r_0008_0007__paid->r_0008_0011__transport including [nim] z_000_8_a_fce_0100_2000_06_20 r_0008_0006__are_r_0008_0007__paid->z_000_8_a_fce_0100_2000_06_20 [arg0] r_0008_0003__and and r_0008_0006__are_r_0008_0007__paid->r_0008_0003__and [arg1] r_0008_0004__travel_r_0008_0005__costs travel costs r_0008_0003__and->r_0008_0004__travel_r_0008_0005__costs [conj2] r_0008_0002__accommodation accommodation r_0008_0003__and->r_0008_0002__accommodation [conj1] r_0008_0001__All_quant All [quant] r_0008_0001__All_quant->r_0008_0006__are_r_0008_0007__paid [scope] r_0008_0001__All_quant->r_0008_0003__and [restriction] 
fof(formula,axiom,
    ! [R_0008_0003__AND,R_0008_0002__ACCOMMODATION,R_0008_0004__TRAVEL_R_0008_0005__COSTS] :
      ( ( r_0008_0002__accommodation(R_0008_0002__ACCOMMODATION)
        & r_0008_0004__travel_r_0008_0005__costs(R_0008_0004__TRAVEL_R_0008_0005__COSTS)
        & r_0008_0003__and(R_0008_0003__AND)
        & has_conj2(R_0008_0003__AND,R_0008_0004__TRAVEL_R_0008_0005__COSTS)
        & has_conj1(R_0008_0003__AND,R_0008_0002__ACCOMMODATION) )
     => ? [R_0008_0013__THE_R_0008_0014__AIRPORT,R_0008_0011__TRANSPORT,Z_000_8_A_FCE_0100_2000_06_20,R_0008_0006__ARE_R_0008_0007__PAID] :
          ( r_0008_0013__the_r_0008_0014__airport(R_0008_0013__THE_R_0008_0014__AIRPORT)
          & z_000_8_a_fce_0100_2000_06_20(Z_000_8_A_FCE_0100_2000_06_20)
          & r_0008_0006__are_r_0008_0007__paid(R_0008_0006__ARE_R_0008_0007__PAID)
          & has_arg0(R_0008_0006__ARE_R_0008_0007__PAID,Z_000_8_A_FCE_0100_2000_06_20)
          & has_arg1(R_0008_0006__ARE_R_0008_0007__PAID,R_0008_0003__AND)
          & has_r_0008_0010__including_nim32(R_0008_0006__ARE_R_0008_0007__PAID,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) ) ) ).


n8_a_fce_0100_2000_06 n8_a_fce_0100_2000_06__1_1_1_1 All n8_a_fce_0100_2000_06__1_1_2_1_1_1 accommodation n8_a_fce_0100_2000_06__1_1_2_2_1_1 and n8_a_fce_0100_2000_06__1_1_2_2_2_1_1 travel n8_a_fce_0100_2000_06__1_1_2_2_2_2_1 costs n8_a_fce_0100_2000_06__1_2_1 are n8_a_fce_0100_2000_06__1_3_1_1 * n8_a_fce_0100_2000_06__1_3_2_1 paid n8_a_fce_0100_2000_06__1_3_3_1_1 for n8_a_fce_0100_2000_06__1_4_1 , n8_a_fce_0100_2000_06__1_5_1_1 including n8_a_fce_0100_2000_06__1_5_2_1_1 transport n8_a_fce_0100_2000_06__1_5_2_2_1_1 to_and_from n8_a_fce_0100_2000_06__1_5_2_2_2_1_1 the n8_a_fce_0100_2000_06__1_5_2_2_2_2_1 airport n8_a_fce_0100_2000_06__1_6_1 . n8_a_fce_0100_2000_06__1 IP-MAT n8_a_fce_0100_2000_06__1_1 NP-SBJ n8_a_fce_0100_2000_06__1->n8_a_fce_0100_2000_06__1_1 n8_a_fce_0100_2000_06__1_2 BEP;_cat_VePASS_ n8_a_fce_0100_2000_06__1->n8_a_fce_0100_2000_06__1_2 n8_a_fce_0100_2000_06__1_3 IP-PPL-CAT n8_a_fce_0100_2000_06__1->n8_a_fce_0100_2000_06__1_3 n8_a_fce_0100_2000_06__1_4 PUNC n8_a_fce_0100_2000_06__1->n8_a_fce_0100_2000_06__1_4 n8_a_fce_0100_2000_06__1_5 PP-NIM n8_a_fce_0100_2000_06__1->n8_a_fce_0100_2000_06__1_5 n8_a_fce_0100_2000_06__1_6 PUNC n8_a_fce_0100_2000_06__1->n8_a_fce_0100_2000_06__1_6 n8_a_fce_0100_2000_06__1_1_1 Q n8_a_fce_0100_2000_06__1_1->n8_a_fce_0100_2000_06__1_1_1 n8_a_fce_0100_2000_06__1_1_2 NLYR n8_a_fce_0100_2000_06__1_1->n8_a_fce_0100_2000_06__1_1_2 n8_a_fce_0100_2000_06__1_1_1->n8_a_fce_0100_2000_06__1_1_1_1 n8_a_fce_0100_2000_06__1_1_2_1 NLYR n8_a_fce_0100_2000_06__1_1_2->n8_a_fce_0100_2000_06__1_1_2_1 n8_a_fce_0100_2000_06__1_1_2_2 CONJP n8_a_fce_0100_2000_06__1_1_2->n8_a_fce_0100_2000_06__1_1_2_2 n8_a_fce_0100_2000_06__1_1_2_1_1 N n8_a_fce_0100_2000_06__1_1_2_1->n8_a_fce_0100_2000_06__1_1_2_1_1 n8_a_fce_0100_2000_06__1_1_2_1_1->n8_a_fce_0100_2000_06__1_1_2_1_1_1 n8_a_fce_0100_2000_06__1_1_2_2_1 CONJ n8_a_fce_0100_2000_06__1_1_2_2->n8_a_fce_0100_2000_06__1_1_2_2_1 n8_a_fce_0100_2000_06__1_1_2_2_2 NLYR n8_a_fce_0100_2000_06__1_1_2_2->n8_a_fce_0100_2000_06__1_1_2_2_2 n8_a_fce_0100_2000_06__1_1_2_2_1->n8_a_fce_0100_2000_06__1_1_2_2_1_1 n8_a_fce_0100_2000_06__1_1_2_2_2_1 N n8_a_fce_0100_2000_06__1_1_2_2_2->n8_a_fce_0100_2000_06__1_1_2_2_2_1 n8_a_fce_0100_2000_06__1_1_2_2_2_2 NS n8_a_fce_0100_2000_06__1_1_2_2_2->n8_a_fce_0100_2000_06__1_1_2_2_2_2 n8_a_fce_0100_2000_06__1_1_2_2_2_1->n8_a_fce_0100_2000_06__1_1_2_2_2_1_1 n8_a_fce_0100_2000_06__1_1_2_2_2_2->n8_a_fce_0100_2000_06__1_1_2_2_2_2_1 n8_a_fce_0100_2000_06__1_2->n8_a_fce_0100_2000_06__1_2_1 n8_a_fce_0100_2000_06__1_3_1 NP-LGS n8_a_fce_0100_2000_06__1_3->n8_a_fce_0100_2000_06__1_3_1 n8_a_fce_0100_2000_06__1_3_2 VVN;_Ipr_ n8_a_fce_0100_2000_06__1_3->n8_a_fce_0100_2000_06__1_3_2 n8_a_fce_0100_2000_06__1_3_3 PP-CLR n8_a_fce_0100_2000_06__1_3->n8_a_fce_0100_2000_06__1_3_3 n8_a_fce_0100_2000_06__1_3_1->n8_a_fce_0100_2000_06__1_3_1_1 n8_a_fce_0100_2000_06__1_3_2->n8_a_fce_0100_2000_06__1_3_2_1 n8_a_fce_0100_2000_06__1_3_3_1 P-ROLE n8_a_fce_0100_2000_06__1_3_3->n8_a_fce_0100_2000_06__1_3_3_1 n8_a_fce_0100_2000_06__1_3_3_1->n8_a_fce_0100_2000_06__1_3_3_1_1 n8_a_fce_0100_2000_06__1_4->n8_a_fce_0100_2000_06__1_4_1 n8_a_fce_0100_2000_06__1_5_1 P-ROLE n8_a_fce_0100_2000_06__1_5->n8_a_fce_0100_2000_06__1_5_1 n8_a_fce_0100_2000_06__1_5_2 NP n8_a_fce_0100_2000_06__1_5->n8_a_fce_0100_2000_06__1_5_2 n8_a_fce_0100_2000_06__1_5_1->n8_a_fce_0100_2000_06__1_5_1_1 n8_a_fce_0100_2000_06__1_5_2_1 N n8_a_fce_0100_2000_06__1_5_2->n8_a_fce_0100_2000_06__1_5_2_1 n8_a_fce_0100_2000_06__1_5_2_2 PP n8_a_fce_0100_2000_06__1_5_2->n8_a_fce_0100_2000_06__1_5_2_2 n8_a_fce_0100_2000_06__1_5_2_1->n8_a_fce_0100_2000_06__1_5_2_1_1 n8_a_fce_0100_2000_06__1_5_2_2_1 P-ROLE n8_a_fce_0100_2000_06__1_5_2_2->n8_a_fce_0100_2000_06__1_5_2_2_1 n8_a_fce_0100_2000_06__1_5_2_2_2 NP n8_a_fce_0100_2000_06__1_5_2_2->n8_a_fce_0100_2000_06__1_5_2_2_2 n8_a_fce_0100_2000_06__1_5_2_2_1->n8_a_fce_0100_2000_06__1_5_2_2_1_1 n8_a_fce_0100_2000_06__1_5_2_2_2_1 D n8_a_fce_0100_2000_06__1_5_2_2_2->n8_a_fce_0100_2000_06__1_5_2_2_2_1 n8_a_fce_0100_2000_06__1_5_2_2_2_2 N n8_a_fce_0100_2000_06__1_5_2_2_2->n8_a_fce_0100_2000_06__1_5_2_2_2_2 n8_a_fce_0100_2000_06__1_5_2_2_2_1->n8_a_fce_0100_2000_06__1_5_2_2_2_1_1 n8_a_fce_0100_2000_06__1_5_2_2_2_2->n8_a_fce_0100_2000_06__1_5_2_2_2_2_1 n8_a_fce_0100_2000_06__1_6->n8_a_fce_0100_2000_06__1_6_1 
( (IP-MAT (NP-SBJ (Q All;{all})
                  (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))