Context                Previous, Next                Top


41_a_saint_exupery_1943
And as I had with me neither a mechanic nor any passengers, I set myself to attempt the difficult repairs all alone.

%3 r_0041_0001__And_r_0041_0015__set And set r_0041_0003__I I r_0041_0001__And_r_0041_0015__set->r_0041_0003__I [arg0] r_0041_0001__And_r_0041_0015__set->r_0041_0003__I [arg1] r_0041_0002__as as r_0041_0004__had had r_0041_0002__as->r_0041_0004__had [restriction] z_000_41_a_saint_exupery_1943_46 r_0041_0002__as->z_000_41_a_saint_exupery_1943_46 [scope] r_0041_0004__had->r_0041_0003__I [arg0] r_0041_0004__had->r_0041_0003__I with [nim] r_0041_0007__neither_r_0041_0010__nor neither nor r_0041_0004__had->r_0041_0007__neither_r_0041_0010__nor [arg1] z_000_41_a_saint_exupery_1943_46->r_0041_0001__And_r_0041_0015__set [scope] r_0041_0017__to_r_0041_0018__attempt to attempt z_000_41_a_saint_exupery_1943_46->r_0041_0017__to_r_0041_0018__attempt [restriction] r_0041_0008__a_r_0041_0009__mechanic a mechanic r_0041_0007__neither_r_0041_0010__nor->r_0041_0008__a_r_0041_0009__mechanic [conj1] r_0041_0011__any_r_0041_0012__passengers any passengers r_0041_0007__neither_r_0041_0010__nor->r_0041_0011__any_r_0041_0012__passengers [conj2] r_0041_0017__to_r_0041_0018__attempt->r_0041_0003__I [arg0] r_0041_0019__the_r_0041_0021__repairs the repairs r_0041_0017__to_r_0041_0018__attempt->r_0041_0019__the_r_0041_0021__repairs [arg1] r_0041_0023__alone alone r_0041_0017__to_r_0041_0018__attempt->r_0041_0023__alone [prd] r_0041_0020__difficult difficult r_0041_0019__the_r_0041_0021__repairs->r_0041_0020__difficult [attrib] z_000_41_a_saint_exupery_1943_61 r_0041_0023__alone->z_000_41_a_saint_exupery_1943_61 [nim] r_0041_0022__all_quant all [quant] r_0041_0022__all_quant->r_0041_0023__alone [scope] r_0041_0022__all_quant->z_000_41_a_saint_exupery_1943_61 [restriction] 
arc(r_0041_0001__And_r_0041_0015__set, r_0041_0003__I, arg0).
arc(r_0041_0001__And_r_0041_0015__set, r_0041_0003__I, arg1).
arc(r_0041_0002__as, r_0041_0004__had, restriction).
arc(r_0041_0002__as, z_000_41_a_saint_exupery_1943_46, scope).
arc(r_0041_0004__had, r_0041_0003__I, arg0).
arc(r_0041_0004__had, r_0041_0003__I, r_0041_0005__with_nim16).
arc(r_0041_0004__had, r_0041_0007__neither_r_0041_0010__nor, arg1).
arc(r_0041_0007__neither_r_0041_0010__nor, r_0041_0008__a_r_0041_0009__mechanic, conj1).
arc(r_0041_0007__neither_r_0041_0010__nor, r_0041_0011__any_r_0041_0012__passengers, conj2).
arc(r_0041_0017__to_r_0041_0018__attempt, r_0041_0003__I, arg0).
arc(r_0041_0017__to_r_0041_0018__attempt, r_0041_0019__the_r_0041_0021__repairs, arg1).
arc(r_0041_0017__to_r_0041_0018__attempt, r_0041_0023__alone, prd).
arc(r_0041_0019__the_r_0041_0021__repairs, r_0041_0020__difficult, attrib55).
arc(r_0041_0022__all_quant, r_0041_0023__alone, scope).
arc(r_0041_0022__all_quant, z_000_41_a_saint_exupery_1943_61, restriction).
arc(r_0041_0023__alone, z_000_41_a_saint_exupery_1943_61, nim61).
arc(z_000_41_a_saint_exupery_1943_46, r_0041_0001__And_r_0041_0015__set, scope).
arc(z_000_41_a_saint_exupery_1943_46, r_0041_0017__to_r_0041_0018__attempt, restriction).


%3 r_0041_0001__And_r_0041_0015__set And set r_0041_0003__I I r_0041_0001__And_r_0041_0015__set->r_0041_0003__I [arg0] r_0041_0001__And_r_0041_0015__set->r_0041_0003__I [arg1] r_0041_0002__as as r_0041_0004__had had r_0041_0002__as->r_0041_0004__had [conj1] z_000_41_a_saint_exupery_1943_46 r_0041_0002__as->z_000_41_a_saint_exupery_1943_46 [conj2] r_0041_0004__had->r_0041_0003__I [arg0] r_0041_0004__had->r_0041_0003__I with [nim] r_0041_0007__neither_r_0041_0010__nor neither nor r_0041_0004__had->r_0041_0007__neither_r_0041_0010__nor [arg1] z_000_41_a_saint_exupery_1943_46->r_0041_0001__And_r_0041_0015__set [conj2] r_0041_0022__all_quant all [quant] z_000_41_a_saint_exupery_1943_46->r_0041_0022__all_quant [conj1] r_0041_0008__a_r_0041_0009__mechanic a mechanic r_0041_0007__neither_r_0041_0010__nor->r_0041_0008__a_r_0041_0009__mechanic [conj1] r_0041_0011__any_r_0041_0012__passengers any passengers r_0041_0007__neither_r_0041_0010__nor->r_0041_0011__any_r_0041_0012__passengers [conj2] r_0041_0017__to_r_0041_0018__attempt to attempt r_0041_0017__to_r_0041_0018__attempt->r_0041_0003__I [arg0] r_0041_0019__the_r_0041_0021__repairs the repairs r_0041_0017__to_r_0041_0018__attempt->r_0041_0019__the_r_0041_0021__repairs [arg1] r_0041_0023__alone alone r_0041_0017__to_r_0041_0018__attempt->r_0041_0023__alone [prd] r_0041_0020__difficult difficult r_0041_0019__the_r_0041_0021__repairs->r_0041_0020__difficult [attrib] z_000_41_a_saint_exupery_1943_61 r_0041_0023__alone->z_000_41_a_saint_exupery_1943_61 [nim] r_0041_0022__all_quant->r_0041_0017__to_r_0041_0018__attempt [scope] r_0041_0022__all_quant->z_000_41_a_saint_exupery_1943_61 [restriction] 
fof(formula,axiom,
    ? [R_41_2_AS,R_41_4_HAD,R_41_7_NEITHER_NOR,R_41_8_A_MECHANIC,R_41_11_ANY_PASSENGERS,Z_41_A_SAINT_EXUPERY_1943_46,R_41_1_AND_SET,R_41_3_I] :
      ( a_mechanic(R_41_8_A_MECHANIC)
      & any_passengers(R_41_11_ANY_PASSENGERS)
      & i(R_41_3_I)
      & as(R_41_2_AS)
      & conj1(R_41_2_AS,R_41_4_HAD)
      & had(R_41_4_HAD,R_41_3_I,R_41_7_NEITHER_NOR)
      & neither_nor(R_41_7_NEITHER_NOR)
      & conj1(R_41_7_NEITHER_NOR,R_41_8_A_MECHANIC)
      & conj2(R_41_7_NEITHER_NOR,R_41_11_ANY_PASSENGERS)
      & with_nim16(R_41_4_HAD,R_41_3_I)
      & conj2(R_41_2_AS,Z_41_A_SAINT_EXUPERY_1943_46)
      & ! [Z_41_A_SAINT_EXUPERY_1943_61] :
          ( true
         => ? [R_41_17_TO_ATTEMPT,R_41_19_THE_REPAIRS,R_41_20_DIFFICULT,R_41_23_ALONE] :
              ( difficult(R_41_20_DIFFICULT)
              & to_attempt(R_41_17_TO_ATTEMPT,R_41_3_I,R_41_19_THE_REPAIRS,R_41_23_ALONE)
              & the_repairs(R_41_19_THE_REPAIRS)
              & attrib55(R_41_19_THE_REPAIRS,R_41_20_DIFFICULT)
              & alone(R_41_23_ALONE)
              & nim61(R_41_23_ALONE,Z_41_A_SAINT_EXUPERY_1943_61) ) )
      & conj1(CONJ1)
      & z_41_a_saint_exupery_1943_46(Z_41_A_SAINT_EXUPERY_1943_46)
      & conj2(Z_41_A_SAINT_EXUPERY_1943_46,R_41_1_AND_SET)
      & and_set(R_41_1_AND_SET,R_41_3_I,R_41_3_I) ) ).


n41_a_saint_exupery_1943 n41_a_saint_exupery_1943_3 And n41_a_saint_exupery_1943_6 as n41_a_saint_exupery_1943_10 I n41_a_saint_exupery_1943_12 had n41_a_saint_exupery_1943_15 with n41_a_saint_exupery_1943_18 me n41_a_saint_exupery_1943_22 neither n41_a_saint_exupery_1943_25 a n41_a_saint_exupery_1943_27 mechanic n41_a_saint_exupery_1943_30 nor n41_a_saint_exupery_1943_33 any n41_a_saint_exupery_1943_35 passengers n41_a_saint_exupery_1943_37 , n41_a_saint_exupery_1943_40 I n41_a_saint_exupery_1943_42 set n41_a_saint_exupery_1943_45 myself n41_a_saint_exupery_1943_49 to n41_a_saint_exupery_1943_51 attempt n41_a_saint_exupery_1943_54 the n41_a_saint_exupery_1943_57 difficult n41_a_saint_exupery_1943_59 repairs n41_a_saint_exupery_1943_63 all n41_a_saint_exupery_1943_65 alone n41_a_saint_exupery_1943_67 . n41_a_saint_exupery_1943_1 IP-MAT n41_a_saint_exupery_1943_2 CONJ;_cl_ n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_2 n41_a_saint_exupery_1943_4 PP-SCON n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_4 n41_a_saint_exupery_1943_36 PUNC n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_36 n41_a_saint_exupery_1943_38 NP-SBJ n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_38 n41_a_saint_exupery_1943_41 VBD;__ n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_41 n41_a_saint_exupery_1943_43 NP-OB1 n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_43 n41_a_saint_exupery_1943_46 PP-SCON n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_46 n41_a_saint_exupery_1943_66 PUNC n41_a_saint_exupery_1943_1->n41_a_saint_exupery_1943_66 n41_a_saint_exupery_1943_2->n41_a_saint_exupery_1943_3 n41_a_saint_exupery_1943_5 P-CONN n41_a_saint_exupery_1943_4->n41_a_saint_exupery_1943_5 n41_a_saint_exupery_1943_7 IP-ADV n41_a_saint_exupery_1943_4->n41_a_saint_exupery_1943_7 n41_a_saint_exupery_1943_5->n41_a_saint_exupery_1943_6 n41_a_saint_exupery_1943_8 NP-SBJ n41_a_saint_exupery_1943_7->n41_a_saint_exupery_1943_8 n41_a_saint_exupery_1943_11 HVD;_Tn_ n41_a_saint_exupery_1943_7->n41_a_saint_exupery_1943_11 n41_a_saint_exupery_1943_13 PP-NIM n41_a_saint_exupery_1943_7->n41_a_saint_exupery_1943_13 n41_a_saint_exupery_1943_19 NP-OB1 n41_a_saint_exupery_1943_7->n41_a_saint_exupery_1943_19 n41_a_saint_exupery_1943_9 PRO n41_a_saint_exupery_1943_8->n41_a_saint_exupery_1943_9 n41_a_saint_exupery_1943_9->n41_a_saint_exupery_1943_10 n41_a_saint_exupery_1943_11->n41_a_saint_exupery_1943_12 n41_a_saint_exupery_1943_14 P-ROLE n41_a_saint_exupery_1943_13->n41_a_saint_exupery_1943_14 n41_a_saint_exupery_1943_16 NP n41_a_saint_exupery_1943_13->n41_a_saint_exupery_1943_16 n41_a_saint_exupery_1943_14->n41_a_saint_exupery_1943_15 n41_a_saint_exupery_1943_17 PRO n41_a_saint_exupery_1943_16->n41_a_saint_exupery_1943_17 n41_a_saint_exupery_1943_17->n41_a_saint_exupery_1943_18 n41_a_saint_exupery_1943_20 NLYR n41_a_saint_exupery_1943_19->n41_a_saint_exupery_1943_20 n41_a_saint_exupery_1943_21 CONJ n41_a_saint_exupery_1943_20->n41_a_saint_exupery_1943_21 n41_a_saint_exupery_1943_23 NLYR n41_a_saint_exupery_1943_20->n41_a_saint_exupery_1943_23 n41_a_saint_exupery_1943_28 CONJP n41_a_saint_exupery_1943_20->n41_a_saint_exupery_1943_28 n41_a_saint_exupery_1943_21->n41_a_saint_exupery_1943_22 n41_a_saint_exupery_1943_24 D n41_a_saint_exupery_1943_23->n41_a_saint_exupery_1943_24 n41_a_saint_exupery_1943_26 N n41_a_saint_exupery_1943_23->n41_a_saint_exupery_1943_26 n41_a_saint_exupery_1943_24->n41_a_saint_exupery_1943_25 n41_a_saint_exupery_1943_26->n41_a_saint_exupery_1943_27 n41_a_saint_exupery_1943_29 CONJ n41_a_saint_exupery_1943_28->n41_a_saint_exupery_1943_29 n41_a_saint_exupery_1943_31 NLYR n41_a_saint_exupery_1943_28->n41_a_saint_exupery_1943_31 n41_a_saint_exupery_1943_29->n41_a_saint_exupery_1943_30 n41_a_saint_exupery_1943_32 D n41_a_saint_exupery_1943_31->n41_a_saint_exupery_1943_32 n41_a_saint_exupery_1943_34 NS n41_a_saint_exupery_1943_31->n41_a_saint_exupery_1943_34 n41_a_saint_exupery_1943_32->n41_a_saint_exupery_1943_33 n41_a_saint_exupery_1943_34->n41_a_saint_exupery_1943_35 n41_a_saint_exupery_1943_36->n41_a_saint_exupery_1943_37 n41_a_saint_exupery_1943_39 PRO n41_a_saint_exupery_1943_38->n41_a_saint_exupery_1943_39 n41_a_saint_exupery_1943_39->n41_a_saint_exupery_1943_40 n41_a_saint_exupery_1943_41->n41_a_saint_exupery_1943_42 n41_a_saint_exupery_1943_44 PNX n41_a_saint_exupery_1943_43->n41_a_saint_exupery_1943_44 n41_a_saint_exupery_1943_44->n41_a_saint_exupery_1943_45 n41_a_saint_exupery_1943_47 IP-INF n41_a_saint_exupery_1943_46->n41_a_saint_exupery_1943_47 n41_a_saint_exupery_1943_48 TO n41_a_saint_exupery_1943_47->n41_a_saint_exupery_1943_48 n41_a_saint_exupery_1943_50 VB;__ n41_a_saint_exupery_1943_47->n41_a_saint_exupery_1943_50 n41_a_saint_exupery_1943_52 NP-OB1 n41_a_saint_exupery_1943_47->n41_a_saint_exupery_1943_52 n41_a_saint_exupery_1943_60 ADJP-PRD n41_a_saint_exupery_1943_47->n41_a_saint_exupery_1943_60 n41_a_saint_exupery_1943_48->n41_a_saint_exupery_1943_49 n41_a_saint_exupery_1943_50->n41_a_saint_exupery_1943_51 n41_a_saint_exupery_1943_53 D n41_a_saint_exupery_1943_52->n41_a_saint_exupery_1943_53 n41_a_saint_exupery_1943_55 ADJP n41_a_saint_exupery_1943_52->n41_a_saint_exupery_1943_55 n41_a_saint_exupery_1943_58 NS n41_a_saint_exupery_1943_52->n41_a_saint_exupery_1943_58 n41_a_saint_exupery_1943_53->n41_a_saint_exupery_1943_54 n41_a_saint_exupery_1943_56 ADJ n41_a_saint_exupery_1943_55->n41_a_saint_exupery_1943_56 n41_a_saint_exupery_1943_56->n41_a_saint_exupery_1943_57 n41_a_saint_exupery_1943_58->n41_a_saint_exupery_1943_59 n41_a_saint_exupery_1943_61 NP n41_a_saint_exupery_1943_60->n41_a_saint_exupery_1943_61 n41_a_saint_exupery_1943_64 ADJ n41_a_saint_exupery_1943_60->n41_a_saint_exupery_1943_64 n41_a_saint_exupery_1943_62 Q;_nphd_ n41_a_saint_exupery_1943_61->n41_a_saint_exupery_1943_62 n41_a_saint_exupery_1943_62->n41_a_saint_exupery_1943_63 n41_a_saint_exupery_1943_64->n41_a_saint_exupery_1943_65 n41_a_saint_exupery_1943_66->n41_a_saint_exupery_1943_67 
( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (HVD;_Tn_ had;{have})
                           (PP-NIM (P-ROLE with;{with})
                                   (NP (PRO me;{I})))
                           (NP-OB1 (NLYR (CONJ neither;{neither})
                                         (NLYR (D a;{a})
                                               (N mechanic;{mechanic}))
                                         (CONJP (CONJ nor;{nor})
                                                (NLYR (D any;{any})
                                                      (NS passengers;{passenger})))))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ set;{set})
          (NP-OB1 (PNX myself;{myself}))
          (PP-SCON (IP-INF;{REPAIR} (TO to;{to})
                                    (VB;__ attempt;{attempt})
                                    (NP-OB1 (D the;{the})
                                            (ADJP (ADJ difficult;{difficult}))
                                            (NS repairs;{repair}))
                                    (ADJP-PRD (NP (Q;_nphd_ all;{all}))
                                              (ADJ alone;{alone}))))
          (PUNC .))
  (ID 41_a_saint_exupery_1943))