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).

fof(formula,axiom,
    ? [R_0041_0003__I,R_0041_0008__A_R_0041_0009__MECHANIC,R_0041_0011__ANY_R_0041_0012__PASSENGERS,R_0041_0007__NEITHER_R_0041_0010__NOR,R_0041_0004__HAD,R_0041_0001__AND_R_0041_0015__SET,Z_000_41_A_SAINT_EXUPERY_1943_46,R_0041_0002__AS] :
      ( r_0041_0003__I(R_0041_0003__I)
      & r_0041_0008__a_r_0041_0009__mechanic(R_0041_0008__A_R_0041_0009__MECHANIC)
      & r_0041_0011__any_r_0041_0012__passengers(R_0041_0011__ANY_R_0041_0012__PASSENGERS)
      & r_0041_0002__as(R_0041_0002__AS)
      & has_conj2(R_0041_0002__AS,Z_000_41_A_SAINT_EXUPERY_1943_46)
      & z_000_41_a_saint_exupery_1943_46(Z_000_41_A_SAINT_EXUPERY_1943_46)
      & ! [Z_000_41_A_SAINT_EXUPERY_1943_61] :
          ( z_000_41_a_saint_exupery_1943_61(Z_000_41_A_SAINT_EXUPERY_1943_61)
         => ? [R_0041_0020__DIFFICULT,R_0041_0019__THE_R_0041_0021__REPAIRS,R_0041_0023__ALONE,R_0041_0017__TO_R_0041_0018__ATTEMPT] :
              ( r_0041_0020__difficult(R_0041_0020__DIFFICULT)
              & r_0041_0017__to_r_0041_0018__attempt(R_0041_0017__TO_R_0041_0018__ATTEMPT)
              & has_prd(R_0041_0017__TO_R_0041_0018__ATTEMPT,R_0041_0023__ALONE)
              & r_0041_0023__alone(R_0041_0023__ALONE)
              & has_nim61(R_0041_0023__ALONE,Z_000_41_A_SAINT_EXUPERY_1943_61)
              & has_arg1(R_0041_0017__TO_R_0041_0018__ATTEMPT,R_0041_0019__THE_R_0041_0021__REPAIRS)
              & r_0041_0019__the_r_0041_0021__repairs(R_0041_0019__THE_R_0041_0021__REPAIRS)
              & has_attrib55(R_0041_0019__THE_R_0041_0021__REPAIRS,R_0041_0020__DIFFICULT)
              & has_arg0(R_0041_0017__TO_R_0041_0018__ATTEMPT,R_0041_0003__I) ) )
      & has_conj2(Z_000_41_A_SAINT_EXUPERY_1943_46,R_0041_0001__AND_R_0041_0015__SET)
      & r_0041_0001__And_r_0041_0015__set(R_0041_0001__AND_R_0041_0015__SET)
      & has_arg1(R_0041_0001__AND_R_0041_0015__SET,R_0041_0003__I)
      & has_arg0(R_0041_0001__AND_R_0041_0015__SET,R_0041_0003__I)
      & has_conj1(R_0041_0002__AS,R_0041_0004__HAD)
      & r_0041_0004__had(R_0041_0004__HAD)
      & has_arg1(R_0041_0004__HAD,R_0041_0007__NEITHER_R_0041_0010__NOR)
      & r_0041_0007__neither_r_0041_0010__nor(R_0041_0007__NEITHER_R_0041_0010__NOR)
      & has_conj2(R_0041_0007__NEITHER_R_0041_0010__NOR,R_0041_0011__ANY_R_0041_0012__PASSENGERS)
      & has_conj1(R_0041_0007__NEITHER_R_0041_0010__NOR,R_0041_0008__A_R_0041_0009__MECHANIC)
      & has_r_0041_0005__with_nim16(R_0041_0004__HAD,R_0041_0003__I)
      & has_arg0(R_0041_0004__HAD,R_0041_0003__I) ) ).

( (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))