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_8_3_AND,R_8_2_ACCOMMODATION,R_8_4_TRAVEL_COSTS] :
      ( ( accommodation(R_8_2_ACCOMMODATION)
        & travel_costs(R_8_4_TRAVEL_COSTS)
        & and(R_8_3_AND)
        & conj1(R_8_3_AND,R_8_2_ACCOMMODATION)
        & conj2(R_8_3_AND,R_8_4_TRAVEL_COSTS) )
     => ? [R_8_6_ARE_PAID,Z_8_A_FCE_100_2000_6_20,R_8_11_TRANSPORT,R_8_13_THE_AIRPORT] :
          ( the_airport(R_8_13_THE_AIRPORT)
          & are_paid(R_8_6_ARE_PAID,Z_8_A_FCE_100_2000_6_20,R_8_3_AND)
          & including_nim32(R_8_6_ARE_PAID,R_8_11_TRANSPORT)
          & transport(R_8_11_TRANSPORT)
          & to_and_from(R_8_11_TRANSPORT,R_8_13_THE_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))