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_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_r_0024_0020__been that has been r_0024_0015__is->r_0024_0017__that_r_0024_0019__has_r_0024_0020__been [arg0] r_0024_0018__geography geography r_0024_0017__that_r_0024_0019__has_r_0024_0020__been->r_0024_0018__geography [arg0] r_0024_0022__useful useful r_0024_0017__that_r_0024_0019__has_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] 
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_6 I n24_a_saint_exupery_1943_8 have n24_a_saint_exupery_1943_11 flown n24_a_saint_exupery_1943_14 a n24_a_saint_exupery_1943_17 little n24_a_saint_exupery_1943_20 over n24_a_saint_exupery_1943_23 all n24_a_saint_exupery_1943_25 parts n24_a_saint_exupery_1943_28 of n24_a_saint_exupery_1943_31 the n24_a_saint_exupery_1943_33 world n24_a_saint_exupery_1943_35 ; n24_a_saint_exupery_1943_38 and n24_a_saint_exupery_1943_42 it n24_a_saint_exupery_1943_44 is n24_a_saint_exupery_1943_47 true n24_a_saint_exupery_1943_51 that n24_a_saint_exupery_1943_54 geography n24_a_saint_exupery_1943_56 has n24_a_saint_exupery_1943_59 been n24_a_saint_exupery_1943_63 very n24_a_saint_exupery_1943_65 useful n24_a_saint_exupery_1943_68 to n24_a_saint_exupery_1943_71 me n24_a_saint_exupery_1943_73 . n24_a_saint_exupery_1943_1 IP-MAT n24_a_saint_exupery_1943_2 ILYR n24_a_saint_exupery_1943_1->n24_a_saint_exupery_1943_2 n24_a_saint_exupery_1943_72 PUNC n24_a_saint_exupery_1943_1->n24_a_saint_exupery_1943_72 n24_a_saint_exupery_1943_3 ILYR n24_a_saint_exupery_1943_2->n24_a_saint_exupery_1943_3 n24_a_saint_exupery_1943_34 PUNC n24_a_saint_exupery_1943_2->n24_a_saint_exupery_1943_34 n24_a_saint_exupery_1943_36 CONJP n24_a_saint_exupery_1943_2->n24_a_saint_exupery_1943_36 n24_a_saint_exupery_1943_4 NP-SBJ n24_a_saint_exupery_1943_3->n24_a_saint_exupery_1943_4 n24_a_saint_exupery_1943_7 HVP;_cat_Ve_ n24_a_saint_exupery_1943_3->n24_a_saint_exupery_1943_7 n24_a_saint_exupery_1943_9 IP-PPL-CAT n24_a_saint_exupery_1943_3->n24_a_saint_exupery_1943_9 n24_a_saint_exupery_1943_5 PRO n24_a_saint_exupery_1943_4->n24_a_saint_exupery_1943_5 n24_a_saint_exupery_1943_5->n24_a_saint_exupery_1943_6 n24_a_saint_exupery_1943_7->n24_a_saint_exupery_1943_8 n24_a_saint_exupery_1943_10 VVN;_Ipr_ n24_a_saint_exupery_1943_9->n24_a_saint_exupery_1943_10 n24_a_saint_exupery_1943_12 NP-NIM n24_a_saint_exupery_1943_9->n24_a_saint_exupery_1943_12 n24_a_saint_exupery_1943_18 PP-CLR n24_a_saint_exupery_1943_9->n24_a_saint_exupery_1943_18 n24_a_saint_exupery_1943_10->n24_a_saint_exupery_1943_11 n24_a_saint_exupery_1943_13 D n24_a_saint_exupery_1943_12->n24_a_saint_exupery_1943_13 n24_a_saint_exupery_1943_15 ADJP n24_a_saint_exupery_1943_12->n24_a_saint_exupery_1943_15 n24_a_saint_exupery_1943_13->n24_a_saint_exupery_1943_14 n24_a_saint_exupery_1943_16 ADJ n24_a_saint_exupery_1943_15->n24_a_saint_exupery_1943_16 n24_a_saint_exupery_1943_16->n24_a_saint_exupery_1943_17 n24_a_saint_exupery_1943_19 P-ROLE n24_a_saint_exupery_1943_18->n24_a_saint_exupery_1943_19 n24_a_saint_exupery_1943_21 NP n24_a_saint_exupery_1943_18->n24_a_saint_exupery_1943_21 n24_a_saint_exupery_1943_19->n24_a_saint_exupery_1943_20 n24_a_saint_exupery_1943_22 Q n24_a_saint_exupery_1943_21->n24_a_saint_exupery_1943_22 n24_a_saint_exupery_1943_24 NS n24_a_saint_exupery_1943_21->n24_a_saint_exupery_1943_24 n24_a_saint_exupery_1943_26 PP n24_a_saint_exupery_1943_21->n24_a_saint_exupery_1943_26 n24_a_saint_exupery_1943_22->n24_a_saint_exupery_1943_23 n24_a_saint_exupery_1943_24->n24_a_saint_exupery_1943_25 n24_a_saint_exupery_1943_27 P-ROLE n24_a_saint_exupery_1943_26->n24_a_saint_exupery_1943_27 n24_a_saint_exupery_1943_29 NP n24_a_saint_exupery_1943_26->n24_a_saint_exupery_1943_29 n24_a_saint_exupery_1943_27->n24_a_saint_exupery_1943_28 n24_a_saint_exupery_1943_30 D n24_a_saint_exupery_1943_29->n24_a_saint_exupery_1943_30 n24_a_saint_exupery_1943_32 N n24_a_saint_exupery_1943_29->n24_a_saint_exupery_1943_32 n24_a_saint_exupery_1943_30->n24_a_saint_exupery_1943_31 n24_a_saint_exupery_1943_32->n24_a_saint_exupery_1943_33 n24_a_saint_exupery_1943_34->n24_a_saint_exupery_1943_35 n24_a_saint_exupery_1943_37 CONJ n24_a_saint_exupery_1943_36->n24_a_saint_exupery_1943_37 n24_a_saint_exupery_1943_39 ILYR n24_a_saint_exupery_1943_36->n24_a_saint_exupery_1943_39 n24_a_saint_exupery_1943_37->n24_a_saint_exupery_1943_38 n24_a_saint_exupery_1943_40 NP-SBJ n24_a_saint_exupery_1943_39->n24_a_saint_exupery_1943_40 n24_a_saint_exupery_1943_43 BEP;_La_ n24_a_saint_exupery_1943_39->n24_a_saint_exupery_1943_43 n24_a_saint_exupery_1943_45 ADJP-PRD n24_a_saint_exupery_1943_39->n24_a_saint_exupery_1943_45 n24_a_saint_exupery_1943_48 CP-THT-NSBJ n24_a_saint_exupery_1943_39->n24_a_saint_exupery_1943_48 n24_a_saint_exupery_1943_41 PRO;_provisional_ n24_a_saint_exupery_1943_40->n24_a_saint_exupery_1943_41 n24_a_saint_exupery_1943_41->n24_a_saint_exupery_1943_42 n24_a_saint_exupery_1943_43->n24_a_saint_exupery_1943_44 n24_a_saint_exupery_1943_46 ADJ n24_a_saint_exupery_1943_45->n24_a_saint_exupery_1943_46 n24_a_saint_exupery_1943_46->n24_a_saint_exupery_1943_47 n24_a_saint_exupery_1943_49 IP-SUB n24_a_saint_exupery_1943_48->n24_a_saint_exupery_1943_49 n24_a_saint_exupery_1943_50 C n24_a_saint_exupery_1943_49->n24_a_saint_exupery_1943_50 n24_a_saint_exupery_1943_52 NP-SBJ n24_a_saint_exupery_1943_49->n24_a_saint_exupery_1943_52 n24_a_saint_exupery_1943_55 HVP;_cat_Ve_ n24_a_saint_exupery_1943_49->n24_a_saint_exupery_1943_55 n24_a_saint_exupery_1943_57 IP-PPL-CAT n24_a_saint_exupery_1943_49->n24_a_saint_exupery_1943_57 n24_a_saint_exupery_1943_50->n24_a_saint_exupery_1943_51 n24_a_saint_exupery_1943_53 N n24_a_saint_exupery_1943_52->n24_a_saint_exupery_1943_53 n24_a_saint_exupery_1943_53->n24_a_saint_exupery_1943_54 n24_a_saint_exupery_1943_55->n24_a_saint_exupery_1943_56 n24_a_saint_exupery_1943_58 BEN;_La_ n24_a_saint_exupery_1943_57->n24_a_saint_exupery_1943_58 n24_a_saint_exupery_1943_60 ADJP-PRD n24_a_saint_exupery_1943_57->n24_a_saint_exupery_1943_60 n24_a_saint_exupery_1943_58->n24_a_saint_exupery_1943_59 n24_a_saint_exupery_1943_61 ADVP n24_a_saint_exupery_1943_60->n24_a_saint_exupery_1943_61 n24_a_saint_exupery_1943_64 ADJ n24_a_saint_exupery_1943_60->n24_a_saint_exupery_1943_64 n24_a_saint_exupery_1943_66 PP n24_a_saint_exupery_1943_60->n24_a_saint_exupery_1943_66 n24_a_saint_exupery_1943_62 ADV n24_a_saint_exupery_1943_61->n24_a_saint_exupery_1943_62 n24_a_saint_exupery_1943_62->n24_a_saint_exupery_1943_63 n24_a_saint_exupery_1943_64->n24_a_saint_exupery_1943_65 n24_a_saint_exupery_1943_67 P-ROLE n24_a_saint_exupery_1943_66->n24_a_saint_exupery_1943_67 n24_a_saint_exupery_1943_69 NP n24_a_saint_exupery_1943_66->n24_a_saint_exupery_1943_69 n24_a_saint_exupery_1943_67->n24_a_saint_exupery_1943_68 n24_a_saint_exupery_1943_70 PRO n24_a_saint_exupery_1943_69->n24_a_saint_exupery_1943_70 n24_a_saint_exupery_1943_70->n24_a_saint_exupery_1943_71 n24_a_saint_exupery_1943_72->n24_a_saint_exupery_1943_73 
( (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))