Context                Previous, Next                Top


17_a_saint_exupery_1943
They always need to have things explained.

%3 r_0017_0003__need need r_0017_0001__They They r_0017_0003__need->r_0017_0001__They [arg0] r_0017_0002__always always r_0017_0003__need->r_0017_0002__always [nim] r_0017_0004__to_r_0017_0005__have to have r_0017_0003__need->r_0017_0004__to_r_0017_0005__have [arg1] r_0017_0004__to_r_0017_0005__have->r_0017_0001__They [arg0] r_0017_0006__things things r_0017_0004__to_r_0017_0005__have->r_0017_0006__things [arg1] r_0017_0007__explained explained r_0017_0004__to_r_0017_0005__have->r_0017_0007__explained [prd] x_000_17_a_saint_exupery_1943_18 __ r_0017_0007__explained->x_000_17_a_saint_exupery_1943_18 [arg1] z_000_17_a_saint_exupery_1943_19 r_0017_0007__explained->z_000_17_a_saint_exupery_1943_19 [arg0] 
arc(r_0017_0003__need, r_0017_0001__They, arg0).
arc(r_0017_0003__need, r_0017_0002__always, nim5).
arc(r_0017_0003__need, r_0017_0004__to_r_0017_0005__have, arg1).
arc(r_0017_0004__to_r_0017_0005__have, r_0017_0001__They, arg0).
arc(r_0017_0004__to_r_0017_0005__have, r_0017_0006__things, arg1).
arc(r_0017_0004__to_r_0017_0005__have, r_0017_0007__explained, prd).
arc(r_0017_0007__explained, x_000_17_a_saint_exupery_1943_18, arg1).
arc(r_0017_0007__explained, z_000_17_a_saint_exupery_1943_19, arg0).


%3 r_0017_0003__need need r_0017_0001__They They r_0017_0003__need->r_0017_0001__They [arg0] r_0017_0002__always always r_0017_0003__need->r_0017_0002__always [nim] r_0017_0004__to_r_0017_0005__have to have r_0017_0003__need->r_0017_0004__to_r_0017_0005__have [arg1] r_0017_0004__to_r_0017_0005__have->r_0017_0001__They [arg0] r_0017_0006__things things r_0017_0004__to_r_0017_0005__have->r_0017_0006__things [arg1] r_0017_0007__explained explained r_0017_0004__to_r_0017_0005__have->r_0017_0007__explained [prd] x_000_17_a_saint_exupery_1943_18 __ r_0017_0007__explained->x_000_17_a_saint_exupery_1943_18 [arg1] z_000_17_a_saint_exupery_1943_19 r_0017_0007__explained->z_000_17_a_saint_exupery_1943_19 [arg0] 
fof(formula,axiom,
    ? [R_17_3_NEED,R_17_4_TO_HAVE,R_17_1_THEY,R_17_6_THINGS,R_17_7_EXPLAINED,Z_17_A_SAINT_EXUPERY_1943_19,X_17_A_SAINT_EXUPERY_1943_18,R_17_2_ALWAYS] :
      ( they(R_17_1_THEY)
      & things(R_17_6_THINGS)
      & always(R_17_2_ALWAYS)
      & need(R_17_3_NEED,R_17_1_THEY,R_17_4_TO_HAVE)
      & to_have(R_17_4_TO_HAVE,R_17_1_THEY,R_17_6_THINGS,R_17_7_EXPLAINED)
      & explained(R_17_7_EXPLAINED,Z_17_A_SAINT_EXUPERY_1943_19,X_17_A_SAINT_EXUPERY_1943_18)
      & nim5(R_17_3_NEED,R_17_2_ALWAYS) ) ).


n17_a_saint_exupery_1943 n17_a_saint_exupery_1943_4 They n17_a_saint_exupery_1943_7 always n17_a_saint_exupery_1943_9 need n17_a_saint_exupery_1943_12 to n17_a_saint_exupery_1943_14 have n17_a_saint_exupery_1943_17 things n17_a_saint_exupery_1943_20 * n17_a_saint_exupery_1943_22 explained n17_a_saint_exupery_1943_24 . n17_a_saint_exupery_1943_1 IP-MAT n17_a_saint_exupery_1943_2 NP-SBJ n17_a_saint_exupery_1943_1->n17_a_saint_exupery_1943_2 n17_a_saint_exupery_1943_5 ADVP-NIM n17_a_saint_exupery_1943_1->n17_a_saint_exupery_1943_5 n17_a_saint_exupery_1943_8 VBP;_Tt_ n17_a_saint_exupery_1943_1->n17_a_saint_exupery_1943_8 n17_a_saint_exupery_1943_10 IP-INF-OB1 n17_a_saint_exupery_1943_1->n17_a_saint_exupery_1943_10 n17_a_saint_exupery_1943_23 PUNC n17_a_saint_exupery_1943_1->n17_a_saint_exupery_1943_23 n17_a_saint_exupery_1943_3 PRO n17_a_saint_exupery_1943_2->n17_a_saint_exupery_1943_3 n17_a_saint_exupery_1943_3->n17_a_saint_exupery_1943_4 n17_a_saint_exupery_1943_6 ADV n17_a_saint_exupery_1943_5->n17_a_saint_exupery_1943_6 n17_a_saint_exupery_1943_6->n17_a_saint_exupery_1943_7 n17_a_saint_exupery_1943_8->n17_a_saint_exupery_1943_9 n17_a_saint_exupery_1943_11 TO n17_a_saint_exupery_1943_10->n17_a_saint_exupery_1943_11 n17_a_saint_exupery_1943_13 HV;_VP24B_ n17_a_saint_exupery_1943_10->n17_a_saint_exupery_1943_13 n17_a_saint_exupery_1943_15 NP-OB1 n17_a_saint_exupery_1943_10->n17_a_saint_exupery_1943_15 n17_a_saint_exupery_1943_18 IP-PPL-PRD n17_a_saint_exupery_1943_10->n17_a_saint_exupery_1943_18 n17_a_saint_exupery_1943_11->n17_a_saint_exupery_1943_12 n17_a_saint_exupery_1943_13->n17_a_saint_exupery_1943_14 n17_a_saint_exupery_1943_16 NS n17_a_saint_exupery_1943_15->n17_a_saint_exupery_1943_16 n17_a_saint_exupery_1943_16->n17_a_saint_exupery_1943_17 n17_a_saint_exupery_1943_19 NP-LGS n17_a_saint_exupery_1943_18->n17_a_saint_exupery_1943_19 n17_a_saint_exupery_1943_21 VVN;_Tn_ n17_a_saint_exupery_1943_18->n17_a_saint_exupery_1943_21 n17_a_saint_exupery_1943_19->n17_a_saint_exupery_1943_20 n17_a_saint_exupery_1943_21->n17_a_saint_exupery_1943_22 n17_a_saint_exupery_1943_23->n17_a_saint_exupery_1943_24 
( (IP-MAT (NP-SBJ;{PERSONS} (PRO They;{they}))
          (ADVP-NIM (ADV always;{always}))
          (VBP;_Tt_ need;{need})
          (IP-INF-OB1 (TO to;{to})
                      (HV;_VP24B_ have;{have})
                      (NP-OB1 (NS things;{thing}))
                      (IP-PPL-PRD (NP-LGS *)
                                  (VVN;_Tn_ explained;{explain})))
          (PUNC .))
  (ID 17_a_saint_exupery_1943))