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 z_000_41_a_saint_exupery_1943_46 r_0041_0022__all_quant all [quant] z_000_41_a_saint_exupery_1943_46->r_0041_0022__all_quant [conj1] r_0041_0001__And_r_0041_0015__set And set z_000_41_a_saint_exupery_1943_46->r_0041_0001__And_r_0041_0015__set [conj2] z_000_41_a_saint_exupery_1943_61 r_0041_0022__all_quant->z_000_41_a_saint_exupery_1943_61 [restriction] r_0041_0017__to_r_0041_0018__attempt to attempt r_0041_0022__all_quant->r_0041_0017__to_r_0041_0018__attempt [scope] r_0041_0003__I I r_0041_0001__And_r_0041_0015__set->r_0041_0003__I [arg1] r_0041_0001__And_r_0041_0015__set->r_0041_0003__I [arg0] r_0041_0023__alone alone r_0041_0023__alone->z_000_41_a_saint_exupery_1943_61 [nim] r_0041_0017__to_r_0041_0018__attempt->r_0041_0023__alone [prd] 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_0017__to_r_0041_0018__attempt->r_0041_0003__I [arg0] r_0041_0020__difficult difficult r_0041_0019__the_r_0041_0021__repairs->r_0041_0020__difficult [attrib] r_0041_0007__neither_r_0041_0010__nor neither nor 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_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_0004__had had r_0041_0004__had->r_0041_0003__I with [nim] r_0041_0004__had->r_0041_0003__I [arg0] r_0041_0004__had->r_0041_0007__neither_r_0041_0010__nor [arg1] r_0041_0002__as as r_0041_0002__as->z_000_41_a_saint_exupery_1943_46 [conj2] r_0041_0002__as->r_0041_0004__had [conj1] 
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__1_1_1 And n41_a_saint_exupery_1943__1_2_1_1 as n41_a_saint_exupery_1943__1_2_2_1_1_1 I n41_a_saint_exupery_1943__1_2_2_2_1 had n41_a_saint_exupery_1943__1_2_2_3_1_1 with n41_a_saint_exupery_1943__1_2_2_3_2_1_1 me n41_a_saint_exupery_1943__1_2_2_4_1_1_1 neither n41_a_saint_exupery_1943__1_2_2_4_1_2_1_1 a n41_a_saint_exupery_1943__1_2_2_4_1_2_2_1 mechanic n41_a_saint_exupery_1943__1_2_2_4_1_3_1_1 nor n41_a_saint_exupery_1943__1_2_2_4_1_3_2_1_1 any n41_a_saint_exupery_1943__1_2_2_4_1_3_2_2_1 passengers n41_a_saint_exupery_1943__1_3_1 , n41_a_saint_exupery_1943__1_4_1_1 I n41_a_saint_exupery_1943__1_5_1 set n41_a_saint_exupery_1943__1_6_1_1 myself n41_a_saint_exupery_1943__1_7_1_1_1 to n41_a_saint_exupery_1943__1_7_1_2_1 attempt n41_a_saint_exupery_1943__1_7_1_3_1_1 the n41_a_saint_exupery_1943__1_7_1_3_2_1_1 difficult n41_a_saint_exupery_1943__1_7_1_3_3_1 repairs n41_a_saint_exupery_1943__1_7_1_4_1_1_1 all n41_a_saint_exupery_1943__1_7_1_4_2_1 alone n41_a_saint_exupery_1943__1_8_1 . n41_a_saint_exupery_1943__1 IP-MAT n41_a_saint_exupery_1943__1_1 CONJ;_cl_ n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_1 n41_a_saint_exupery_1943__1_2 PP-SCON n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_2 n41_a_saint_exupery_1943__1_3 PUNC n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_3 n41_a_saint_exupery_1943__1_4 NP-SBJ n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_4 n41_a_saint_exupery_1943__1_5 VBD;__ n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_5 n41_a_saint_exupery_1943__1_6 NP-OB1 n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_6 n41_a_saint_exupery_1943__1_7 PP-SCON n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_7 n41_a_saint_exupery_1943__1_8 PUNC n41_a_saint_exupery_1943__1->n41_a_saint_exupery_1943__1_8 n41_a_saint_exupery_1943__1_1->n41_a_saint_exupery_1943__1_1_1 n41_a_saint_exupery_1943__1_2_1 P-CONN n41_a_saint_exupery_1943__1_2->n41_a_saint_exupery_1943__1_2_1 n41_a_saint_exupery_1943__1_2_2 IP-ADV n41_a_saint_exupery_1943__1_2->n41_a_saint_exupery_1943__1_2_2 n41_a_saint_exupery_1943__1_2_1->n41_a_saint_exupery_1943__1_2_1_1 n41_a_saint_exupery_1943__1_2_2_1 NP-SBJ n41_a_saint_exupery_1943__1_2_2->n41_a_saint_exupery_1943__1_2_2_1 n41_a_saint_exupery_1943__1_2_2_2 HVD;_Tn_ n41_a_saint_exupery_1943__1_2_2->n41_a_saint_exupery_1943__1_2_2_2 n41_a_saint_exupery_1943__1_2_2_3 PP-NIM n41_a_saint_exupery_1943__1_2_2->n41_a_saint_exupery_1943__1_2_2_3 n41_a_saint_exupery_1943__1_2_2_4 NP-OB1 n41_a_saint_exupery_1943__1_2_2->n41_a_saint_exupery_1943__1_2_2_4 n41_a_saint_exupery_1943__1_2_2_1_1 PRO n41_a_saint_exupery_1943__1_2_2_1->n41_a_saint_exupery_1943__1_2_2_1_1 n41_a_saint_exupery_1943__1_2_2_1_1->n41_a_saint_exupery_1943__1_2_2_1_1_1 n41_a_saint_exupery_1943__1_2_2_2->n41_a_saint_exupery_1943__1_2_2_2_1 n41_a_saint_exupery_1943__1_2_2_3_1 P-ROLE n41_a_saint_exupery_1943__1_2_2_3->n41_a_saint_exupery_1943__1_2_2_3_1 n41_a_saint_exupery_1943__1_2_2_3_2 NP n41_a_saint_exupery_1943__1_2_2_3->n41_a_saint_exupery_1943__1_2_2_3_2 n41_a_saint_exupery_1943__1_2_2_3_1->n41_a_saint_exupery_1943__1_2_2_3_1_1 n41_a_saint_exupery_1943__1_2_2_3_2_1 PRO n41_a_saint_exupery_1943__1_2_2_3_2->n41_a_saint_exupery_1943__1_2_2_3_2_1 n41_a_saint_exupery_1943__1_2_2_3_2_1->n41_a_saint_exupery_1943__1_2_2_3_2_1_1 n41_a_saint_exupery_1943__1_2_2_4_1 NLYR n41_a_saint_exupery_1943__1_2_2_4->n41_a_saint_exupery_1943__1_2_2_4_1 n41_a_saint_exupery_1943__1_2_2_4_1_1 CONJ n41_a_saint_exupery_1943__1_2_2_4_1->n41_a_saint_exupery_1943__1_2_2_4_1_1 n41_a_saint_exupery_1943__1_2_2_4_1_2 NLYR n41_a_saint_exupery_1943__1_2_2_4_1->n41_a_saint_exupery_1943__1_2_2_4_1_2 n41_a_saint_exupery_1943__1_2_2_4_1_3 CONJP n41_a_saint_exupery_1943__1_2_2_4_1->n41_a_saint_exupery_1943__1_2_2_4_1_3 n41_a_saint_exupery_1943__1_2_2_4_1_1->n41_a_saint_exupery_1943__1_2_2_4_1_1_1 n41_a_saint_exupery_1943__1_2_2_4_1_2_1 D n41_a_saint_exupery_1943__1_2_2_4_1_2->n41_a_saint_exupery_1943__1_2_2_4_1_2_1 n41_a_saint_exupery_1943__1_2_2_4_1_2_2 N n41_a_saint_exupery_1943__1_2_2_4_1_2->n41_a_saint_exupery_1943__1_2_2_4_1_2_2 n41_a_saint_exupery_1943__1_2_2_4_1_2_1->n41_a_saint_exupery_1943__1_2_2_4_1_2_1_1 n41_a_saint_exupery_1943__1_2_2_4_1_2_2->n41_a_saint_exupery_1943__1_2_2_4_1_2_2_1 n41_a_saint_exupery_1943__1_2_2_4_1_3_1 CONJ n41_a_saint_exupery_1943__1_2_2_4_1_3->n41_a_saint_exupery_1943__1_2_2_4_1_3_1 n41_a_saint_exupery_1943__1_2_2_4_1_3_2 NLYR n41_a_saint_exupery_1943__1_2_2_4_1_3->n41_a_saint_exupery_1943__1_2_2_4_1_3_2 n41_a_saint_exupery_1943__1_2_2_4_1_3_1->n41_a_saint_exupery_1943__1_2_2_4_1_3_1_1 n41_a_saint_exupery_1943__1_2_2_4_1_3_2_1 D n41_a_saint_exupery_1943__1_2_2_4_1_3_2->n41_a_saint_exupery_1943__1_2_2_4_1_3_2_1 n41_a_saint_exupery_1943__1_2_2_4_1_3_2_2 NS n41_a_saint_exupery_1943__1_2_2_4_1_3_2->n41_a_saint_exupery_1943__1_2_2_4_1_3_2_2 n41_a_saint_exupery_1943__1_2_2_4_1_3_2_1->n41_a_saint_exupery_1943__1_2_2_4_1_3_2_1_1 n41_a_saint_exupery_1943__1_2_2_4_1_3_2_2->n41_a_saint_exupery_1943__1_2_2_4_1_3_2_2_1 n41_a_saint_exupery_1943__1_3->n41_a_saint_exupery_1943__1_3_1 n41_a_saint_exupery_1943__1_4_1 PRO n41_a_saint_exupery_1943__1_4->n41_a_saint_exupery_1943__1_4_1 n41_a_saint_exupery_1943__1_4_1->n41_a_saint_exupery_1943__1_4_1_1 n41_a_saint_exupery_1943__1_5->n41_a_saint_exupery_1943__1_5_1 n41_a_saint_exupery_1943__1_6_1 PNX n41_a_saint_exupery_1943__1_6->n41_a_saint_exupery_1943__1_6_1 n41_a_saint_exupery_1943__1_6_1->n41_a_saint_exupery_1943__1_6_1_1 n41_a_saint_exupery_1943__1_7_1 IP-INF n41_a_saint_exupery_1943__1_7->n41_a_saint_exupery_1943__1_7_1 n41_a_saint_exupery_1943__1_7_1_1 TO n41_a_saint_exupery_1943__1_7_1->n41_a_saint_exupery_1943__1_7_1_1 n41_a_saint_exupery_1943__1_7_1_2 VB;__ n41_a_saint_exupery_1943__1_7_1->n41_a_saint_exupery_1943__1_7_1_2 n41_a_saint_exupery_1943__1_7_1_3 NP-OB1 n41_a_saint_exupery_1943__1_7_1->n41_a_saint_exupery_1943__1_7_1_3 n41_a_saint_exupery_1943__1_7_1_4 ADJP-PRD n41_a_saint_exupery_1943__1_7_1->n41_a_saint_exupery_1943__1_7_1_4 n41_a_saint_exupery_1943__1_7_1_1->n41_a_saint_exupery_1943__1_7_1_1_1 n41_a_saint_exupery_1943__1_7_1_2->n41_a_saint_exupery_1943__1_7_1_2_1 n41_a_saint_exupery_1943__1_7_1_3_1 D n41_a_saint_exupery_1943__1_7_1_3->n41_a_saint_exupery_1943__1_7_1_3_1 n41_a_saint_exupery_1943__1_7_1_3_2 ADJP n41_a_saint_exupery_1943__1_7_1_3->n41_a_saint_exupery_1943__1_7_1_3_2 n41_a_saint_exupery_1943__1_7_1_3_3 NS n41_a_saint_exupery_1943__1_7_1_3->n41_a_saint_exupery_1943__1_7_1_3_3 n41_a_saint_exupery_1943__1_7_1_3_1->n41_a_saint_exupery_1943__1_7_1_3_1_1 n41_a_saint_exupery_1943__1_7_1_3_2_1 ADJ n41_a_saint_exupery_1943__1_7_1_3_2->n41_a_saint_exupery_1943__1_7_1_3_2_1 n41_a_saint_exupery_1943__1_7_1_3_2_1->n41_a_saint_exupery_1943__1_7_1_3_2_1_1 n41_a_saint_exupery_1943__1_7_1_3_3->n41_a_saint_exupery_1943__1_7_1_3_3_1 n41_a_saint_exupery_1943__1_7_1_4_1 NP n41_a_saint_exupery_1943__1_7_1_4->n41_a_saint_exupery_1943__1_7_1_4_1 n41_a_saint_exupery_1943__1_7_1_4_2 ADJ n41_a_saint_exupery_1943__1_7_1_4->n41_a_saint_exupery_1943__1_7_1_4_2 n41_a_saint_exupery_1943__1_7_1_4_1_1 Q;_nphd_ n41_a_saint_exupery_1943__1_7_1_4_1->n41_a_saint_exupery_1943__1_7_1_4_1_1 n41_a_saint_exupery_1943__1_7_1_4_1_1->n41_a_saint_exupery_1943__1_7_1_4_1_1_1 n41_a_saint_exupery_1943__1_7_1_4_2->n41_a_saint_exupery_1943__1_7_1_4_2_1 n41_a_saint_exupery_1943__1_8->n41_a_saint_exupery_1943__1_8_1 
( (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))