Context                Previous, Next                Top


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.

%3 r_0024_0002__have have r_0024_0007__all_quant all [quant] r_0024_0002__have->r_0024_0007__all_quant [scope] r_0024_0003__flown flown r_0024_0007__all_quant->r_0024_0003__flown [scope] r_0024_0008__parts parts r_0024_0007__all_quant->r_0024_0008__parts [restriction] r_0024_0001__I I r_0024_0003__flown->r_0024_0001__I [arg0] r_0024_0004__a a r_0024_0003__flown->r_0024_0004__a [nim] r_0024_0003__flown->r_0024_0008__parts over [clr] r_0024_0005__little little r_0024_0004__a->r_0024_0005__little [attrib] r_0024_0010__the_r_0024_0011__world the world r_0024_0008__parts->r_0024_0010__the_r_0024_0011__world of r_0024_0013__and and r_0024_0013__and->r_0024_0002__have [conj1] r_0024_0015__is is r_0024_0013__and->r_0024_0015__is [conj2] r_0024_0016__true true r_0024_0015__is->r_0024_0016__true [prd] r_0024_0017__that_r_0024_0019__has that has r_0024_0015__is->r_0024_0017__that_r_0024_0019__has [arg0] r_0024_0020__been been r_0024_0017__that_r_0024_0019__has->r_0024_0020__been [scope] r_0024_0018__geography geography r_0024_0020__been->r_0024_0018__geography [arg0] r_0024_0022__useful useful r_0024_0020__been->r_0024_0022__useful [prd] r_0024_0022__useful->r_0024_0001__I to r_0024_0021__very very r_0024_0022__useful->r_0024_0021__very [qual] 
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).


%3 r_0024_0002__have have r_0024_0007__all_quant all [quant] r_0024_0002__have->r_0024_0007__all_quant [keep_scope] r_0024_0008__parts parts r_0024_0007__all_quant->r_0024_0008__parts [restriction] r_0024_0003__flown flown r_0024_0007__all_quant->r_0024_0003__flown [scope] r_0024_0022__useful useful r_0024_0021__very very r_0024_0022__useful->r_0024_0021__very [qual] r_0024_0001__I I r_0024_0022__useful->r_0024_0001__I to r_0024_0017__that_r_0024_0019__has_r_0024_0020__been that has been r_0024_0017__that_r_0024_0019__has_r_0024_0020__been->r_0024_0022__useful [prd] r_0024_0018__geography geography r_0024_0017__that_r_0024_0019__has_r_0024_0020__been->r_0024_0018__geography [arg0] r_0024_0015__is is r_0024_0015__is->r_0024_0017__that_r_0024_0019__has_r_0024_0020__been [arg0] r_0024_0016__true true r_0024_0015__is->r_0024_0016__true [prd] r_0024_0013__and and r_0024_0013__and->r_0024_0002__have [conj1] r_0024_0013__and->r_0024_0015__is [conj2] r_0024_0010__the_r_0024_0011__world the world r_0024_0008__parts->r_0024_0010__the_r_0024_0011__world of r_0024_0003__flown->r_0024_0001__I [arg0] r_0024_0003__flown->r_0024_0008__parts over [clr] r_0024_0004__a a r_0024_0003__flown->r_0024_0004__a [nim] r_0024_0005__little little r_0024_0004__a->r_0024_0005__little [attrib] 
fof(formula,axiom,
    ? [R_24_13_AND,R_24_15_IS,R_24_17_THAT_HAS_BEEN,R_24_18_GEOGRAPHY,R_24_22_USEFUL,R_24_21_VERY,R_24_1_I,R_24_16_TRUE] :
      ( geography(R_24_18_GEOGRAPHY)
      & very(R_24_21_VERY)
      & i(R_24_1_I)
      & true(R_24_16_TRUE)
      & and(R_24_13_AND)
      & conj1(R_24_13_AND,R_24_2_HAVE)
      & ~ ! [R_24_8_PARTS,R_24_10_THE_WORLD] :
            ( ( the_world(R_24_10_THE_WORLD)
              & parts(R_24_8_PARTS)
              & of(R_24_8_PARTS,R_24_10_THE_WORLD) )
           => ? [R_24_3_FLOWN,R_24_4_A,R_24_5_LITTLE] :
                ( little(R_24_5_LITTLE)
                & flown(R_24_3_FLOWN,R_24_1_I)
                & nim12(R_24_3_FLOWN,R_24_4_A)
                & a(R_24_4_A)
                & attrib15(R_24_4_A,R_24_5_LITTLE)
                & over_clr21(R_24_3_FLOWN,R_24_8_PARTS) ) )
      & conj2(R_24_13_AND,R_24_15_IS)
      & is(R_24_15_IS,R_24_17_THAT_HAS_BEEN,R_24_16_TRUE)
      & that_has_been(R_24_17_THAT_HAS_BEEN,R_24_18_GEOGRAPHY,R_24_22_USEFUL)
      & useful(R_24_22_USEFUL)
      & qual61(R_24_22_USEFUL,R_24_21_VERY)
      & to(R_24_22_USEFUL,R_24_1_I) ) ).


n24_a_saint_exupery_1943 n24_a_saint_exupery_1943__1_1_1_1_1_1 I n24_a_saint_exupery_1943__1_1_1_2_1 have n24_a_saint_exupery_1943__1_1_1_3_1_1 flown n24_a_saint_exupery_1943__1_1_1_3_2_1_1 a n24_a_saint_exupery_1943__1_1_1_3_2_2_1_1 little n24_a_saint_exupery_1943__1_1_1_3_3_1_1 over n24_a_saint_exupery_1943__1_1_1_3_3_2_1_1 all n24_a_saint_exupery_1943__1_1_1_3_3_2_2_1 parts n24_a_saint_exupery_1943__1_1_1_3_3_2_3_1_1 of n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_1_1 the n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_2_1 world n24_a_saint_exupery_1943__1_1_2_1 ; n24_a_saint_exupery_1943__1_1_3_1_1 and n24_a_saint_exupery_1943__1_1_3_2_1_1_1 it n24_a_saint_exupery_1943__1_1_3_2_2_1 is n24_a_saint_exupery_1943__1_1_3_2_3_1_1 true n24_a_saint_exupery_1943__1_1_3_2_4_1_1_1 that n24_a_saint_exupery_1943__1_1_3_2_4_1_2_1_1 geography n24_a_saint_exupery_1943__1_1_3_2_4_1_3_1 has n24_a_saint_exupery_1943__1_1_3_2_4_1_4_1_1 been n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1_1_1 very n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_2_1 useful n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_1_1 to n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2_1_1 me n24_a_saint_exupery_1943__1_2_1 . n24_a_saint_exupery_1943__1 IP-MAT n24_a_saint_exupery_1943__1_1 ILYR n24_a_saint_exupery_1943__1->n24_a_saint_exupery_1943__1_1 n24_a_saint_exupery_1943__1_2 PUNC n24_a_saint_exupery_1943__1->n24_a_saint_exupery_1943__1_2 n24_a_saint_exupery_1943__1_1_1 ILYR n24_a_saint_exupery_1943__1_1->n24_a_saint_exupery_1943__1_1_1 n24_a_saint_exupery_1943__1_1_2 PUNC n24_a_saint_exupery_1943__1_1->n24_a_saint_exupery_1943__1_1_2 n24_a_saint_exupery_1943__1_1_3 CONJP n24_a_saint_exupery_1943__1_1->n24_a_saint_exupery_1943__1_1_3 n24_a_saint_exupery_1943__1_1_1_1 NP-SBJ n24_a_saint_exupery_1943__1_1_1->n24_a_saint_exupery_1943__1_1_1_1 n24_a_saint_exupery_1943__1_1_1_2 HVP;_cat_Ve_ n24_a_saint_exupery_1943__1_1_1->n24_a_saint_exupery_1943__1_1_1_2 n24_a_saint_exupery_1943__1_1_1_3 IP-PPL-CAT n24_a_saint_exupery_1943__1_1_1->n24_a_saint_exupery_1943__1_1_1_3 n24_a_saint_exupery_1943__1_1_1_1_1 PRO n24_a_saint_exupery_1943__1_1_1_1->n24_a_saint_exupery_1943__1_1_1_1_1 n24_a_saint_exupery_1943__1_1_1_1_1->n24_a_saint_exupery_1943__1_1_1_1_1_1 n24_a_saint_exupery_1943__1_1_1_2->n24_a_saint_exupery_1943__1_1_1_2_1 n24_a_saint_exupery_1943__1_1_1_3_1 VVN;_Ipr_ n24_a_saint_exupery_1943__1_1_1_3->n24_a_saint_exupery_1943__1_1_1_3_1 n24_a_saint_exupery_1943__1_1_1_3_2 NP-NIM n24_a_saint_exupery_1943__1_1_1_3->n24_a_saint_exupery_1943__1_1_1_3_2 n24_a_saint_exupery_1943__1_1_1_3_3 PP-CLR n24_a_saint_exupery_1943__1_1_1_3->n24_a_saint_exupery_1943__1_1_1_3_3 n24_a_saint_exupery_1943__1_1_1_3_1->n24_a_saint_exupery_1943__1_1_1_3_1_1 n24_a_saint_exupery_1943__1_1_1_3_2_1 D n24_a_saint_exupery_1943__1_1_1_3_2->n24_a_saint_exupery_1943__1_1_1_3_2_1 n24_a_saint_exupery_1943__1_1_1_3_2_2 ADJP n24_a_saint_exupery_1943__1_1_1_3_2->n24_a_saint_exupery_1943__1_1_1_3_2_2 n24_a_saint_exupery_1943__1_1_1_3_2_1->n24_a_saint_exupery_1943__1_1_1_3_2_1_1 n24_a_saint_exupery_1943__1_1_1_3_2_2_1 ADJ n24_a_saint_exupery_1943__1_1_1_3_2_2->n24_a_saint_exupery_1943__1_1_1_3_2_2_1 n24_a_saint_exupery_1943__1_1_1_3_2_2_1->n24_a_saint_exupery_1943__1_1_1_3_2_2_1_1 n24_a_saint_exupery_1943__1_1_1_3_3_1 P-ROLE n24_a_saint_exupery_1943__1_1_1_3_3->n24_a_saint_exupery_1943__1_1_1_3_3_1 n24_a_saint_exupery_1943__1_1_1_3_3_2 NP n24_a_saint_exupery_1943__1_1_1_3_3->n24_a_saint_exupery_1943__1_1_1_3_3_2 n24_a_saint_exupery_1943__1_1_1_3_3_1->n24_a_saint_exupery_1943__1_1_1_3_3_1_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_1 Q n24_a_saint_exupery_1943__1_1_1_3_3_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_2 NS n24_a_saint_exupery_1943__1_1_1_3_3_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_2 n24_a_saint_exupery_1943__1_1_1_3_3_2_3 PP n24_a_saint_exupery_1943__1_1_1_3_3_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_3 n24_a_saint_exupery_1943__1_1_1_3_3_2_1->n24_a_saint_exupery_1943__1_1_1_3_3_2_1_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_2_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_1 P-ROLE n24_a_saint_exupery_1943__1_1_1_3_3_2_3->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2 NP n24_a_saint_exupery_1943__1_1_1_3_3_2_3->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_1->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_1_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_1 D n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_2 N n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_2 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_1->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_1_1 n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_2->n24_a_saint_exupery_1943__1_1_1_3_3_2_3_2_2_1 n24_a_saint_exupery_1943__1_1_2->n24_a_saint_exupery_1943__1_1_2_1 n24_a_saint_exupery_1943__1_1_3_1 CONJ n24_a_saint_exupery_1943__1_1_3->n24_a_saint_exupery_1943__1_1_3_1 n24_a_saint_exupery_1943__1_1_3_2 ILYR n24_a_saint_exupery_1943__1_1_3->n24_a_saint_exupery_1943__1_1_3_2 n24_a_saint_exupery_1943__1_1_3_1->n24_a_saint_exupery_1943__1_1_3_1_1 n24_a_saint_exupery_1943__1_1_3_2_1 NP-SBJ n24_a_saint_exupery_1943__1_1_3_2->n24_a_saint_exupery_1943__1_1_3_2_1 n24_a_saint_exupery_1943__1_1_3_2_2 BEP;_La_ n24_a_saint_exupery_1943__1_1_3_2->n24_a_saint_exupery_1943__1_1_3_2_2 n24_a_saint_exupery_1943__1_1_3_2_3 ADJP-PRD n24_a_saint_exupery_1943__1_1_3_2->n24_a_saint_exupery_1943__1_1_3_2_3 n24_a_saint_exupery_1943__1_1_3_2_4 CP-THT-NSBJ n24_a_saint_exupery_1943__1_1_3_2->n24_a_saint_exupery_1943__1_1_3_2_4 n24_a_saint_exupery_1943__1_1_3_2_1_1 PRO;_provisional_ n24_a_saint_exupery_1943__1_1_3_2_1->n24_a_saint_exupery_1943__1_1_3_2_1_1 n24_a_saint_exupery_1943__1_1_3_2_1_1->n24_a_saint_exupery_1943__1_1_3_2_1_1_1 n24_a_saint_exupery_1943__1_1_3_2_2->n24_a_saint_exupery_1943__1_1_3_2_2_1 n24_a_saint_exupery_1943__1_1_3_2_3_1 ADJ n24_a_saint_exupery_1943__1_1_3_2_3->n24_a_saint_exupery_1943__1_1_3_2_3_1 n24_a_saint_exupery_1943__1_1_3_2_3_1->n24_a_saint_exupery_1943__1_1_3_2_3_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1 IP-SUB n24_a_saint_exupery_1943__1_1_3_2_4->n24_a_saint_exupery_1943__1_1_3_2_4_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_1 C n24_a_saint_exupery_1943__1_1_3_2_4_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_2 NP-SBJ n24_a_saint_exupery_1943__1_1_3_2_4_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_2 n24_a_saint_exupery_1943__1_1_3_2_4_1_3 HVP;_cat_Ve_ n24_a_saint_exupery_1943__1_1_3_2_4_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_3 n24_a_saint_exupery_1943__1_1_3_2_4_1_4 IP-PPL-CAT n24_a_saint_exupery_1943__1_1_3_2_4_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_4 n24_a_saint_exupery_1943__1_1_3_2_4_1_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_2_1 N n24_a_saint_exupery_1943__1_1_3_2_4_1_2->n24_a_saint_exupery_1943__1_1_3_2_4_1_2_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_2_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_2_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_3->n24_a_saint_exupery_1943__1_1_3_2_4_1_3_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_1 BEN;_La_ n24_a_saint_exupery_1943__1_1_3_2_4_1_4->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2 ADJP-PRD n24_a_saint_exupery_1943__1_1_3_2_4_1_4->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1 ADVP n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_2 ADJ n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_2 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3 PP n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1_1 ADV n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_1_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_2->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_2_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_1 P-ROLE n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2 NP n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_1_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2_1 PRO n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2_1 n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2_1->n24_a_saint_exupery_1943__1_1_3_2_4_1_4_2_3_2_1_1 n24_a_saint_exupery_1943__1_2->n24_a_saint_exupery_1943__1_2_1 
( (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))