24_a_saint_exupery_1943
I have flown a little over all parts of the world; and it is true that geography has been very useful to me.
arc(r_0024_0002__have, r_0024_0007__all_quant, scope).
arc(r_0024_0003__flown, r_0024_0001__I, arg0).
arc(r_0024_0003__flown, r_0024_0004__a, nim12).
arc(r_0024_0003__flown, r_0024_0008__parts, r_0024_0006__over_clr21).
arc(r_0024_0004__a, r_0024_0005__little, attrib15).
arc(r_0024_0007__all_quant, r_0024_0003__flown, scope).
arc(r_0024_0007__all_quant, r_0024_0008__parts, restriction).
arc(r_0024_0008__parts, r_0024_0010__the_r_0024_0011__world, r_0024_0009__of).
arc(r_0024_0013__and, r_0024_0002__have, conj1).
arc(r_0024_0013__and, r_0024_0015__is, conj2).
arc(r_0024_0015__is, r_0024_0016__true, prd).
arc(r_0024_0015__is, r_0024_0017__that_r_0024_0019__has, arg0).
arc(r_0024_0017__that_r_0024_0019__has, r_0024_0020__been, scope).
arc(r_0024_0020__been, r_0024_0018__geography, arg0).
arc(r_0024_0020__been, r_0024_0022__useful, prd).
arc(r_0024_0022__useful, r_0024_0001__I, r_0024_0023__to).
arc(r_0024_0022__useful, r_0024_0021__very, qual61).
fof(formula,axiom,
? [R_0024_0002__HAVE,R_0024_0016__TRUE,R_0024_0018__GEOGRAPHY,R_0024_0001__I,R_0024_0021__VERY,R_0024_0022__USEFUL,R_0024_0017__THAT_R_0024_0019__HAS_R_0024_0020__BEEN,R_0024_0015__IS,R_0024_0013__AND] :
( r_0024_0001__I(R_0024_0001__I)
& r_0024_0016__true(R_0024_0016__TRUE)
& r_0024_0018__geography(R_0024_0018__GEOGRAPHY)
& r_0024_0021__very(R_0024_0021__VERY)
& r_0024_0013__and(R_0024_0013__AND)
& has_conj2(R_0024_0013__AND,R_0024_0015__IS)
& r_0024_0015__is(R_0024_0015__IS)
& has_arg0(R_0024_0015__IS,R_0024_0017__THAT_R_0024_0019__HAS_R_0024_0020__BEEN)
& r_0024_0017__that_r_0024_0019__has_r_0024_0020__been(R_0024_0017__THAT_R_0024_0019__HAS_R_0024_0020__BEEN)
& has_prd(R_0024_0017__THAT_R_0024_0019__HAS_R_0024_0020__BEEN,R_0024_0022__USEFUL)
& r_0024_0022__useful(R_0024_0022__USEFUL)
& has_qual61(R_0024_0022__USEFUL,R_0024_0021__VERY)
& has_r_0024_0023__to(R_0024_0022__USEFUL,R_0024_0001__I)
& has_arg0(R_0024_0017__THAT_R_0024_0019__HAS_R_0024_0020__BEEN,R_0024_0018__GEOGRAPHY)
& has_prd(R_0024_0015__IS,R_0024_0016__TRUE)
& has_conj1(R_0024_0013__AND,R_0024_0002__HAVE)
& r_0024_0002__have(R_0024_0002__HAVE)
& ! [R_0024_0008__PARTS,R_0024_0010__THE_R_0024_0011__WORLD] :
( ( r_0024_0010__the_r_0024_0011__world(R_0024_0010__THE_R_0024_0011__WORLD)
& r_0024_0008__parts(R_0024_0008__PARTS)
& has_r_0024_0009__of(R_0024_0008__PARTS,R_0024_0010__THE_R_0024_0011__WORLD) )
=> ? [R_0024_0005__LITTLE,R_0024_0004__A,R_0024_0003__FLOWN] :
( r_0024_0005__little(R_0024_0005__LITTLE)
& r_0024_0003__flown(R_0024_0003__FLOWN)
& has_r_0024_0006__over_clr21(R_0024_0003__FLOWN,R_0024_0008__PARTS)
& has_nim12(R_0024_0003__FLOWN,R_0024_0004__A)
& r_0024_0004__a(R_0024_0004__A)
& has_attrib15(R_0024_0004__A,R_0024_0005__LITTLE)
& has_arg0(R_0024_0003__FLOWN,R_0024_0001__I) ) ) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;_Ipr_ flown;{fly[over]})
(NP-NIM (D a;{a})
(ADJP (ADJ little;{little})))
(PP-CLR (P-ROLE over;{over})
(NP (Q all;{all})
(NS parts;{part})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N world;{world})))))))
(PUNC ;)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ true;{true}))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ (N geography;{geography}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_La_ been;{be})
(ADJP-PRD (ADVP (ADV very;{very}))
(ADJ useful;{useful})
(PP (P-ROLE to;{to})
(NP (PRO me;{I}))))))))))
(PUNC .))
(ID 24_a_saint_exupery_1943))