Context                Previous, Next                Top


22_a_saint_exupery_1943
Grown-ups never understand anything by themselves, and it is tiresome for children to be always and forever explaining things to them.

%3 r_0022_0003__understand understand r_0022_0001__Grown__hyphen__ups Grown-ups r_0022_0003__understand->r_0022_0001__Grown__hyphen__ups [arg0] r_0022_0002__never never r_0022_0003__understand->r_0022_0002__never [nim] r_0022_0004__anything anything r_0022_0003__understand->r_0022_0004__anything [arg1] r_0022_0003__understand->r_0022_0004__anything by [nim] r_0022_0008__and and r_0022_0008__and->r_0022_0003__understand [conj1] r_0022_0010__is is r_0022_0008__and->r_0022_0010__is [conj2] r_0022_0011__tiresome tiresome r_0022_0010__is->r_0022_0011__tiresome [prd] r_0022_0014__to_r_0022_0015__be to be r_0022_0010__is->r_0022_0014__to_r_0022_0015__be [arg0] r_0022_0013__children children r_0022_0011__tiresome->r_0022_0013__children for r_0022_0019__explaining explaining r_0022_0014__to_r_0022_0015__be->r_0022_0019__explaining [scope] r_0022_0019__explaining->r_0022_0001__Grown__hyphen__ups [arg2] r_0022_0017__and and r_0022_0019__explaining->r_0022_0017__and [nim] r_0022_0020__things things r_0022_0019__explaining->r_0022_0020__things [arg1] z_000_22_a_saint_exupery_1943_27 r_0022_0019__explaining->z_000_22_a_saint_exupery_1943_27 [arg0] r_0022_0016__always always r_0022_0017__and->r_0022_0016__always [conj1] r_0022_0018__forever forever r_0022_0017__and->r_0022_0018__forever [conj2] 
arc(r_0022_0003__understand, r_0022_0001__Grown__hyphen__ups, arg0).
arc(r_0022_0003__understand, r_0022_0002__never, nim7).
arc(r_0022_0003__understand, r_0022_0004__anything, arg1).
arc(r_0022_0003__understand, r_0022_0004__anything, r_0022_0005__by_nim18).
arc(r_0022_0008__and, r_0022_0003__understand, conj1).
arc(r_0022_0008__and, r_0022_0010__is, conj2).
arc(r_0022_0010__is, r_0022_0011__tiresome, prd).
arc(r_0022_0010__is, r_0022_0014__to_r_0022_0015__be, arg0).
arc(r_0022_0011__tiresome, r_0022_0013__children, r_0022_0012__for).
arc(r_0022_0014__to_r_0022_0015__be, r_0022_0019__explaining, scope).
arc(r_0022_0017__and, r_0022_0016__always, conj1).
arc(r_0022_0017__and, r_0022_0018__forever, conj2).
arc(r_0022_0019__explaining, r_0022_0001__Grown__hyphen__ups, arg2).
arc(r_0022_0019__explaining, r_0022_0017__and, nim47).
arc(r_0022_0019__explaining, r_0022_0020__things, arg1).
arc(r_0022_0019__explaining, z_000_22_a_saint_exupery_1943_27, arg0).


%3 r_0022_0003__understand understand r_0022_0001__Grown__hyphen__ups Grown-ups r_0022_0003__understand->r_0022_0001__Grown__hyphen__ups [arg0] r_0022_0002__never never r_0022_0003__understand->r_0022_0002__never [nim] r_0022_0004__anything anything r_0022_0003__understand->r_0022_0004__anything [arg1] r_0022_0003__understand->r_0022_0004__anything by [nim] r_0022_0008__and and r_0022_0008__and->r_0022_0003__understand [conj1] r_0022_0010__is is r_0022_0008__and->r_0022_0010__is [conj2] r_0022_0011__tiresome tiresome r_0022_0010__is->r_0022_0011__tiresome [prd] r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining to be explaining r_0022_0010__is->r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining [arg0] r_0022_0013__children children r_0022_0011__tiresome->r_0022_0013__children for r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining->r_0022_0001__Grown__hyphen__ups [arg2] r_0022_0017__and and r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining->r_0022_0017__and [nim] r_0022_0020__things things r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining->r_0022_0020__things [arg1] z_000_22_a_saint_exupery_1943_27 r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining->z_000_22_a_saint_exupery_1943_27 [arg0] r_0022_0016__always always r_0022_0017__and->r_0022_0016__always [conj1] r_0022_0018__forever forever r_0022_0017__and->r_0022_0018__forever [conj2] 
fof(formula,axiom,
    ? [R_22_8_AND,R_22_3_UNDERSTAND,R_22_2_NEVER,R_22_4_ANYTHING,R_22_10_IS,R_22_14_TO_BE_EXPLAINING,Z_22_A_SAINT_EXUPERY_1943_27,R_22_20_THINGS,R_22_1_GROWN_HYPHEN_UPS,R_22_17_AND,R_22_16_ALWAYS,R_22_18_FOREVER,R_22_11_TIRESOME,R_22_13_CHILDREN] :
      ( never(R_22_2_NEVER)
      & anything(R_22_4_ANYTHING)
      & things(R_22_20_THINGS)
      & grown_hyphen_ups(R_22_1_GROWN_HYPHEN_UPS)
      & always(R_22_16_ALWAYS)
      & forever(R_22_18_FOREVER)
      & children(R_22_13_CHILDREN)
      & and(R_22_8_AND)
      & conj1(R_22_8_AND,R_22_3_UNDERSTAND)
      & understand(R_22_3_UNDERSTAND,R_22_1_GROWN_HYPHEN_UPS,R_22_4_ANYTHING)
      & nim7(R_22_3_UNDERSTAND,R_22_2_NEVER)
      & by_nim18(R_22_3_UNDERSTAND,R_22_4_ANYTHING)
      & conj2(R_22_8_AND,R_22_10_IS)
      & is(R_22_10_IS,R_22_14_TO_BE_EXPLAINING,R_22_11_TIRESOME)
      & to_be_explaining(R_22_14_TO_BE_EXPLAINING,Z_22_A_SAINT_EXUPERY_1943_27,R_22_20_THINGS,R_22_1_GROWN_HYPHEN_UPS)
      & nim47(R_22_14_TO_BE_EXPLAINING,R_22_17_AND)
      & and(R_22_17_AND)
      & conj1(R_22_17_AND,R_22_16_ALWAYS)
      & conj2(R_22_17_AND,R_22_18_FOREVER)
      & tiresome(R_22_11_TIRESOME)
      & for(R_22_11_TIRESOME,R_22_13_CHILDREN) ) ).


n22_a_saint_exupery_1943 n22_a_saint_exupery_1943_6 Grown-ups n22_a_saint_exupery_1943_9 never n22_a_saint_exupery_1943_11 understand n22_a_saint_exupery_1943_14 anything n22_a_saint_exupery_1943_17 by n22_a_saint_exupery_1943_20 themselves n22_a_saint_exupery_1943_22 , n22_a_saint_exupery_1943_25 and n22_a_saint_exupery_1943_29 it n22_a_saint_exupery_1943_31 is n22_a_saint_exupery_1943_34 tiresome n22_a_saint_exupery_1943_37 for n22_a_saint_exupery_1943_40 children n22_a_saint_exupery_1943_43 to n22_a_saint_exupery_1943_45 be n22_a_saint_exupery_1943_51 always n22_a_saint_exupery_1943_54 and n22_a_saint_exupery_1943_57 forever n22_a_saint_exupery_1943_59 explaining n22_a_saint_exupery_1943_62 things n22_a_saint_exupery_1943_65 to n22_a_saint_exupery_1943_68 them n22_a_saint_exupery_1943_70 . n22_a_saint_exupery_1943_1 IP-MAT n22_a_saint_exupery_1943_2 ILYR n22_a_saint_exupery_1943_1->n22_a_saint_exupery_1943_2 n22_a_saint_exupery_1943_69 PUNC n22_a_saint_exupery_1943_1->n22_a_saint_exupery_1943_69 n22_a_saint_exupery_1943_3 ILYR n22_a_saint_exupery_1943_2->n22_a_saint_exupery_1943_3 n22_a_saint_exupery_1943_21 PUNC n22_a_saint_exupery_1943_2->n22_a_saint_exupery_1943_21 n22_a_saint_exupery_1943_23 CONJP n22_a_saint_exupery_1943_2->n22_a_saint_exupery_1943_23 n22_a_saint_exupery_1943_4 NP-SBJ n22_a_saint_exupery_1943_3->n22_a_saint_exupery_1943_4 n22_a_saint_exupery_1943_7 ADVP-NIM n22_a_saint_exupery_1943_3->n22_a_saint_exupery_1943_7 n22_a_saint_exupery_1943_10 VBP;_Tn_ n22_a_saint_exupery_1943_3->n22_a_saint_exupery_1943_10 n22_a_saint_exupery_1943_12 NP-OB1 n22_a_saint_exupery_1943_3->n22_a_saint_exupery_1943_12 n22_a_saint_exupery_1943_15 PP-NIM n22_a_saint_exupery_1943_3->n22_a_saint_exupery_1943_15 n22_a_saint_exupery_1943_5 NS n22_a_saint_exupery_1943_4->n22_a_saint_exupery_1943_5 n22_a_saint_exupery_1943_5->n22_a_saint_exupery_1943_6 n22_a_saint_exupery_1943_8 ADV n22_a_saint_exupery_1943_7->n22_a_saint_exupery_1943_8 n22_a_saint_exupery_1943_8->n22_a_saint_exupery_1943_9 n22_a_saint_exupery_1943_10->n22_a_saint_exupery_1943_11 n22_a_saint_exupery_1943_13 D;_nphd_ n22_a_saint_exupery_1943_12->n22_a_saint_exupery_1943_13 n22_a_saint_exupery_1943_13->n22_a_saint_exupery_1943_14 n22_a_saint_exupery_1943_16 P-ROLE n22_a_saint_exupery_1943_15->n22_a_saint_exupery_1943_16 n22_a_saint_exupery_1943_18 NP n22_a_saint_exupery_1943_15->n22_a_saint_exupery_1943_18 n22_a_saint_exupery_1943_16->n22_a_saint_exupery_1943_17 n22_a_saint_exupery_1943_19 PNX n22_a_saint_exupery_1943_18->n22_a_saint_exupery_1943_19 n22_a_saint_exupery_1943_19->n22_a_saint_exupery_1943_20 n22_a_saint_exupery_1943_21->n22_a_saint_exupery_1943_22 n22_a_saint_exupery_1943_24 CONJ n22_a_saint_exupery_1943_23->n22_a_saint_exupery_1943_24 n22_a_saint_exupery_1943_26 ILYR n22_a_saint_exupery_1943_23->n22_a_saint_exupery_1943_26 n22_a_saint_exupery_1943_24->n22_a_saint_exupery_1943_25 n22_a_saint_exupery_1943_27 NP-SBJ n22_a_saint_exupery_1943_26->n22_a_saint_exupery_1943_27 n22_a_saint_exupery_1943_30 BEP;_La_ n22_a_saint_exupery_1943_26->n22_a_saint_exupery_1943_30 n22_a_saint_exupery_1943_32 ADJP-PRD n22_a_saint_exupery_1943_26->n22_a_saint_exupery_1943_32 n22_a_saint_exupery_1943_41 IP-INF-NSBJ n22_a_saint_exupery_1943_26->n22_a_saint_exupery_1943_41 n22_a_saint_exupery_1943_28 PRO;_provisional_ n22_a_saint_exupery_1943_27->n22_a_saint_exupery_1943_28 n22_a_saint_exupery_1943_28->n22_a_saint_exupery_1943_29 n22_a_saint_exupery_1943_30->n22_a_saint_exupery_1943_31 n22_a_saint_exupery_1943_33 ADJ n22_a_saint_exupery_1943_32->n22_a_saint_exupery_1943_33 n22_a_saint_exupery_1943_35 PP n22_a_saint_exupery_1943_32->n22_a_saint_exupery_1943_35 n22_a_saint_exupery_1943_33->n22_a_saint_exupery_1943_34 n22_a_saint_exupery_1943_36 P-ROLE n22_a_saint_exupery_1943_35->n22_a_saint_exupery_1943_36 n22_a_saint_exupery_1943_38 NP n22_a_saint_exupery_1943_35->n22_a_saint_exupery_1943_38 n22_a_saint_exupery_1943_36->n22_a_saint_exupery_1943_37 n22_a_saint_exupery_1943_39 NS n22_a_saint_exupery_1943_38->n22_a_saint_exupery_1943_39 n22_a_saint_exupery_1943_39->n22_a_saint_exupery_1943_40 n22_a_saint_exupery_1943_42 TO n22_a_saint_exupery_1943_41->n22_a_saint_exupery_1943_42 n22_a_saint_exupery_1943_44 BE;_cat_Vg_ n22_a_saint_exupery_1943_41->n22_a_saint_exupery_1943_44 n22_a_saint_exupery_1943_46 IP-PPL-CAT n22_a_saint_exupery_1943_41->n22_a_saint_exupery_1943_46 n22_a_saint_exupery_1943_42->n22_a_saint_exupery_1943_43 n22_a_saint_exupery_1943_44->n22_a_saint_exupery_1943_45 n22_a_saint_exupery_1943_47 ADVP-NIM n22_a_saint_exupery_1943_46->n22_a_saint_exupery_1943_47 n22_a_saint_exupery_1943_58 VAG;_Dn.pr_ n22_a_saint_exupery_1943_46->n22_a_saint_exupery_1943_58 n22_a_saint_exupery_1943_60 NP-OB1 n22_a_saint_exupery_1943_46->n22_a_saint_exupery_1943_60 n22_a_saint_exupery_1943_63 PP-OB2 n22_a_saint_exupery_1943_46->n22_a_saint_exupery_1943_63 n22_a_saint_exupery_1943_48 AVLYR n22_a_saint_exupery_1943_47->n22_a_saint_exupery_1943_48 n22_a_saint_exupery_1943_49 AVLYR n22_a_saint_exupery_1943_48->n22_a_saint_exupery_1943_49 n22_a_saint_exupery_1943_52 CONJP n22_a_saint_exupery_1943_48->n22_a_saint_exupery_1943_52 n22_a_saint_exupery_1943_50 ADV n22_a_saint_exupery_1943_49->n22_a_saint_exupery_1943_50 n22_a_saint_exupery_1943_50->n22_a_saint_exupery_1943_51 n22_a_saint_exupery_1943_53 CONJ n22_a_saint_exupery_1943_52->n22_a_saint_exupery_1943_53 n22_a_saint_exupery_1943_55 AVLYR n22_a_saint_exupery_1943_52->n22_a_saint_exupery_1943_55 n22_a_saint_exupery_1943_53->n22_a_saint_exupery_1943_54 n22_a_saint_exupery_1943_56 ADV n22_a_saint_exupery_1943_55->n22_a_saint_exupery_1943_56 n22_a_saint_exupery_1943_56->n22_a_saint_exupery_1943_57 n22_a_saint_exupery_1943_58->n22_a_saint_exupery_1943_59 n22_a_saint_exupery_1943_61 NS n22_a_saint_exupery_1943_60->n22_a_saint_exupery_1943_61 n22_a_saint_exupery_1943_61->n22_a_saint_exupery_1943_62 n22_a_saint_exupery_1943_64 P-ROLE n22_a_saint_exupery_1943_63->n22_a_saint_exupery_1943_64 n22_a_saint_exupery_1943_66 NP n22_a_saint_exupery_1943_63->n22_a_saint_exupery_1943_66 n22_a_saint_exupery_1943_64->n22_a_saint_exupery_1943_65 n22_a_saint_exupery_1943_67 PRO n22_a_saint_exupery_1943_66->n22_a_saint_exupery_1943_67 n22_a_saint_exupery_1943_67->n22_a_saint_exupery_1943_68 n22_a_saint_exupery_1943_69->n22_a_saint_exupery_1943_70 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{PERSONS} (NS Grown_<hyphen>_ups;{grown_ups}))
                      (ADVP-NIM (ADV never;{never}))
                      (VBP;_Tn_ understand;{understand})
                      (NP-OB1 (D;_nphd_ anything;{anything}))
                      (PP-NIM (P-ROLE by;{by})
                              (NP (PNX themselves;{themselves}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADJ tiresome;{tiresome})
                                       (PP (P-ROLE for;{for})
                                           (NP (NS children;{child}))))
                             (IP-INF-NSBJ (TO to;{to})
                                          (BE;_cat_Vg_ be;{be})
                                          (IP-PPL-CAT (ADVP-NIM (AVLYR (AVLYR (ADV always;{always}))
                                                                       (CONJP (CONJ and;{and})
                                                                              (AVLYR (ADV forever;{forever})))))
                                                      (VAG;_Dn.pr_ explaining;{explain[to]})
                                                      (NP-OB1 (NS things;{thing}))
                                                      (PP-OB2 (P-ROLE to;{to})
                                                              (NP;{PERSONS} (PRO them;{they}))))))))
          (PUNC .))
  (ID 22_a_saint_exupery_1943))