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_0001__All_quant All [quant] r_0008_0003__and and r_0008_0001__All_quant->r_0008_0003__and [restriction] r_0008_0006__are_r_0008_0007__paid are paid r_0008_0001__All_quant->r_0008_0006__are_r_0008_0007__paid [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_0006__are_r_0008_0007__paid->r_0008_0003__and [arg1] r_0008_0011__transport transport 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_0013__the_r_0008_0014__airport the airport r_0008_0011__transport->r_0008_0013__the_r_0008_0014__airport to and from 
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_4 All n8_a_fce_0100_2000_06_8 accommodation n8_a_fce_0100_2000_06_11 and n8_a_fce_0100_2000_06_14 travel n8_a_fce_0100_2000_06_16 costs n8_a_fce_0100_2000_06_18 are n8_a_fce_0100_2000_06_21 * n8_a_fce_0100_2000_06_23 paid n8_a_fce_0100_2000_06_26 for n8_a_fce_0100_2000_06_28 , n8_a_fce_0100_2000_06_31 including n8_a_fce_0100_2000_06_34 transport n8_a_fce_0100_2000_06_37 to_and_from n8_a_fce_0100_2000_06_40 the n8_a_fce_0100_2000_06_42 airport n8_a_fce_0100_2000_06_44 . n8_a_fce_0100_2000_06_1 IP-MAT n8_a_fce_0100_2000_06_2 NP-SBJ n8_a_fce_0100_2000_06_1->n8_a_fce_0100_2000_06_2 n8_a_fce_0100_2000_06_17 BEP;_cat_VePASS_ n8_a_fce_0100_2000_06_1->n8_a_fce_0100_2000_06_17 n8_a_fce_0100_2000_06_19 IP-PPL-CAT n8_a_fce_0100_2000_06_1->n8_a_fce_0100_2000_06_19 n8_a_fce_0100_2000_06_27 PUNC n8_a_fce_0100_2000_06_1->n8_a_fce_0100_2000_06_27 n8_a_fce_0100_2000_06_29 PP-NIM n8_a_fce_0100_2000_06_1->n8_a_fce_0100_2000_06_29 n8_a_fce_0100_2000_06_43 PUNC n8_a_fce_0100_2000_06_1->n8_a_fce_0100_2000_06_43 n8_a_fce_0100_2000_06_3 Q n8_a_fce_0100_2000_06_2->n8_a_fce_0100_2000_06_3 n8_a_fce_0100_2000_06_5 NLYR n8_a_fce_0100_2000_06_2->n8_a_fce_0100_2000_06_5 n8_a_fce_0100_2000_06_3->n8_a_fce_0100_2000_06_4 n8_a_fce_0100_2000_06_6 NLYR n8_a_fce_0100_2000_06_5->n8_a_fce_0100_2000_06_6 n8_a_fce_0100_2000_06_9 CONJP n8_a_fce_0100_2000_06_5->n8_a_fce_0100_2000_06_9 n8_a_fce_0100_2000_06_7 N n8_a_fce_0100_2000_06_6->n8_a_fce_0100_2000_06_7 n8_a_fce_0100_2000_06_7->n8_a_fce_0100_2000_06_8 n8_a_fce_0100_2000_06_10 CONJ n8_a_fce_0100_2000_06_9->n8_a_fce_0100_2000_06_10 n8_a_fce_0100_2000_06_12 NLYR n8_a_fce_0100_2000_06_9->n8_a_fce_0100_2000_06_12 n8_a_fce_0100_2000_06_10->n8_a_fce_0100_2000_06_11 n8_a_fce_0100_2000_06_13 N n8_a_fce_0100_2000_06_12->n8_a_fce_0100_2000_06_13 n8_a_fce_0100_2000_06_15 NS n8_a_fce_0100_2000_06_12->n8_a_fce_0100_2000_06_15 n8_a_fce_0100_2000_06_13->n8_a_fce_0100_2000_06_14 n8_a_fce_0100_2000_06_15->n8_a_fce_0100_2000_06_16 n8_a_fce_0100_2000_06_17->n8_a_fce_0100_2000_06_18 n8_a_fce_0100_2000_06_20 NP-LGS n8_a_fce_0100_2000_06_19->n8_a_fce_0100_2000_06_20 n8_a_fce_0100_2000_06_22 VVN;_Ipr_ n8_a_fce_0100_2000_06_19->n8_a_fce_0100_2000_06_22 n8_a_fce_0100_2000_06_24 PP-CLR n8_a_fce_0100_2000_06_19->n8_a_fce_0100_2000_06_24 n8_a_fce_0100_2000_06_20->n8_a_fce_0100_2000_06_21 n8_a_fce_0100_2000_06_22->n8_a_fce_0100_2000_06_23 n8_a_fce_0100_2000_06_25 P-ROLE n8_a_fce_0100_2000_06_24->n8_a_fce_0100_2000_06_25 n8_a_fce_0100_2000_06_25->n8_a_fce_0100_2000_06_26 n8_a_fce_0100_2000_06_27->n8_a_fce_0100_2000_06_28 n8_a_fce_0100_2000_06_30 P-ROLE n8_a_fce_0100_2000_06_29->n8_a_fce_0100_2000_06_30 n8_a_fce_0100_2000_06_32 NP n8_a_fce_0100_2000_06_29->n8_a_fce_0100_2000_06_32 n8_a_fce_0100_2000_06_30->n8_a_fce_0100_2000_06_31 n8_a_fce_0100_2000_06_33 N n8_a_fce_0100_2000_06_32->n8_a_fce_0100_2000_06_33 n8_a_fce_0100_2000_06_35 PP n8_a_fce_0100_2000_06_32->n8_a_fce_0100_2000_06_35 n8_a_fce_0100_2000_06_33->n8_a_fce_0100_2000_06_34 n8_a_fce_0100_2000_06_36 P-ROLE n8_a_fce_0100_2000_06_35->n8_a_fce_0100_2000_06_36 n8_a_fce_0100_2000_06_38 NP n8_a_fce_0100_2000_06_35->n8_a_fce_0100_2000_06_38 n8_a_fce_0100_2000_06_36->n8_a_fce_0100_2000_06_37 n8_a_fce_0100_2000_06_39 D n8_a_fce_0100_2000_06_38->n8_a_fce_0100_2000_06_39 n8_a_fce_0100_2000_06_41 N n8_a_fce_0100_2000_06_38->n8_a_fce_0100_2000_06_41 n8_a_fce_0100_2000_06_39->n8_a_fce_0100_2000_06_40 n8_a_fce_0100_2000_06_41->n8_a_fce_0100_2000_06_42 n8_a_fce_0100_2000_06_43->n8_a_fce_0100_2000_06_44 
( (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))