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.
( (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))
arc(r_0024_0002__have,r_0024_0003__flown_r_0024_0006__over,scope).
arc(r_0024_0003__flown_r_0024_0006__over,r_0024_0001__I,arg0).
arc(r_0024_0003__flown_r_0024_0006__over,r_0024_0004__a,nim).
arc(r_0024_0003__flown_r_0024_0006__over,r_0024_0008__parts,arg1).
arc(r_0024_0004__a,r_0024_0005__little,attrib).
arc(r_0024_0007__all__quant,r_0024_0002__have,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_0007__all__quant,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_0019__has,arg0).
arc(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,qual).
fof(formula,axiom,
? [R_0024_0016__TRUE,R_0024_0018__GEOGRAPHY,R_0024_0001__I,R_0024_0021__VERY,R_0024_0022__USEFUL,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_0019__HAS_R_0024_0020__BEEN)
& r_0024_0019__has_r_0024_0020__been(R_0024_0019__HAS_R_0024_0020__BEEN)
& has_prd(R_0024_0019__HAS_R_0024_0020__BEEN,R_0024_0022__USEFUL)
& r_0024_0022__useful(R_0024_0022__USEFUL)
& has_qual(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_0019__HAS_R_0024_0020__BEEN,R_0024_0018__GEOGRAPHY)
& has_prd(R_0024_0015__IS,R_0024_0016__TRUE)
& ! [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_0002__HAVE_R_0024_0003__FLOWN_R_0024_0006__OVER] :
( r_0024_0005__little(R_0024_0005__LITTLE)
& r_0024_0002__have_r_0024_0003__flown_r_0024_0006__over(R_0024_0002__HAVE_R_0024_0003__FLOWN_R_0024_0006__OVER)
& has_arg1(R_0024_0002__HAVE_R_0024_0003__FLOWN_R_0024_0006__OVER,R_0024_0008__PARTS)
& has_nim(R_0024_0002__HAVE_R_0024_0003__FLOWN_R_0024_0006__OVER,R_0024_0004__A)
& r_0024_0004__a(R_0024_0004__A)
& has_attrib(R_0024_0004__A,R_0024_0005__LITTLE)
& has_arg0(R_0024_0002__HAVE_R_0024_0003__FLOWN_R_0024_0006__OVER,R_0024_0001__I) ) ) ) ).