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.
( (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))
arc(r_0041_0002__as,r_0041_0004__had,restriction).
arc(r_0041_0002__as,z_0041_5009,scope).
arc(r_0041_0004__had,r_0041_0003__I,arg0).
arc(r_0041_0004__had,r_0041_0003__I,r_0041_0005__with__nim).
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_0015__set,r_0041_0003__I,arg0).
arc(r_0041_0015__set,r_0041_0003__I,arg1).
arc(r_0041_0018__attempt,r_0041_0003__I,arg0).
arc(r_0041_0018__attempt,r_0041_0019__the_r_0041_0021__repairs,arg1).
arc(r_0041_0018__attempt,r_0041_0023__alone,prd).
arc(r_0041_0019__the_r_0041_0021__repairs,r_0041_0020__difficult,attrib).
arc(r_0041_0022__all__quant,r_0041_0023__alone,scope).
arc(r_0041_0022__all__quant,z_0041_5016,restriction).
arc(r_0041_0023__alone,z_0041_5016,nim).
arc(z_0041_5009,r_0041_0015__set,scope).
arc(z_0041_5009,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_0015__SET,Z_0041_5009,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_0041_5009)
& z_0041_5009(Z_0041_5009)
& ! [Z_0041_5016] :
( z_0041_5016(Z_0041_5016)
=> ? [R_0041_0020__DIFFICULT,R_0041_0019__THE_R_0041_0021__REPAIRS,R_0041_0023__ALONE,R_0041_0018__ATTEMPT] :
( r_0041_0020__difficult(R_0041_0020__DIFFICULT)
& r_0041_0018__attempt(R_0041_0018__ATTEMPT)
& has_prd(R_0041_0018__ATTEMPT,R_0041_0023__ALONE)
& r_0041_0023__alone(R_0041_0023__ALONE)
& has_nim(R_0041_0023__ALONE,Z_0041_5016)
& has_arg1(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_attrib(R_0041_0019__THE_R_0041_0021__REPAIRS,R_0041_0020__DIFFICULT)
& has_arg0(R_0041_0018__ATTEMPT,R_0041_0003__I) ) )
& has_conj2(Z_0041_5009,R_0041_0015__SET)
& r_0041_0015__set(R_0041_0015__SET)
& has_arg1(R_0041_0015__SET,R_0041_0003__I)
& has_arg0(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__nim(R_0041_0004__HAD,R_0041_0003__I)
& has_arg0(R_0041_0004__HAD,R_0041_0003__I) ) ).