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_0007__explained explained z_000_17_a_saint_exupery_1943_19 r_0017_0007__explained->z_000_17_a_saint_exupery_1943_19 [arg0] x_000_17_a_saint_exupery_1943_18 __ r_0017_0007__explained->x_000_17_a_saint_exupery_1943_18 [arg1] r_0017_0004__to_r_0017_0005__have to have r_0017_0004__to_r_0017_0005__have->r_0017_0007__explained [prd] r_0017_0006__things things r_0017_0004__to_r_0017_0005__have->r_0017_0006__things [arg1] r_0017_0001__They They r_0017_0004__to_r_0017_0005__have->r_0017_0001__They [arg0] r_0017_0003__need need r_0017_0003__need->r_0017_0004__to_r_0017_0005__have [arg1] r_0017_0003__need->r_0017_0001__They [arg0] r_0017_0002__always always r_0017_0003__need->r_0017_0002__always [nim] 
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__1_1_1_1 They n17_a_saint_exupery_1943__1_2_1_1 always n17_a_saint_exupery_1943__1_3_1 need n17_a_saint_exupery_1943__1_4_1_1 to n17_a_saint_exupery_1943__1_4_2_1 have n17_a_saint_exupery_1943__1_4_3_1_1 things n17_a_saint_exupery_1943__1_4_4_1_1 * n17_a_saint_exupery_1943__1_4_4_2_1 explained n17_a_saint_exupery_1943__1_5_1 . n17_a_saint_exupery_1943__1 IP-MAT n17_a_saint_exupery_1943__1_1 NP-SBJ n17_a_saint_exupery_1943__1->n17_a_saint_exupery_1943__1_1 n17_a_saint_exupery_1943__1_2 ADVP-NIM n17_a_saint_exupery_1943__1->n17_a_saint_exupery_1943__1_2 n17_a_saint_exupery_1943__1_3 VBP;_Tt_ n17_a_saint_exupery_1943__1->n17_a_saint_exupery_1943__1_3 n17_a_saint_exupery_1943__1_4 IP-INF-OB1 n17_a_saint_exupery_1943__1->n17_a_saint_exupery_1943__1_4 n17_a_saint_exupery_1943__1_5 PUNC n17_a_saint_exupery_1943__1->n17_a_saint_exupery_1943__1_5 n17_a_saint_exupery_1943__1_1_1 PRO n17_a_saint_exupery_1943__1_1->n17_a_saint_exupery_1943__1_1_1 n17_a_saint_exupery_1943__1_1_1->n17_a_saint_exupery_1943__1_1_1_1 n17_a_saint_exupery_1943__1_2_1 ADV n17_a_saint_exupery_1943__1_2->n17_a_saint_exupery_1943__1_2_1 n17_a_saint_exupery_1943__1_2_1->n17_a_saint_exupery_1943__1_2_1_1 n17_a_saint_exupery_1943__1_3->n17_a_saint_exupery_1943__1_3_1 n17_a_saint_exupery_1943__1_4_1 TO n17_a_saint_exupery_1943__1_4->n17_a_saint_exupery_1943__1_4_1 n17_a_saint_exupery_1943__1_4_2 HV;_VP24B_ n17_a_saint_exupery_1943__1_4->n17_a_saint_exupery_1943__1_4_2 n17_a_saint_exupery_1943__1_4_3 NP-OB1 n17_a_saint_exupery_1943__1_4->n17_a_saint_exupery_1943__1_4_3 n17_a_saint_exupery_1943__1_4_4 IP-PPL-PRD n17_a_saint_exupery_1943__1_4->n17_a_saint_exupery_1943__1_4_4 n17_a_saint_exupery_1943__1_4_1->n17_a_saint_exupery_1943__1_4_1_1 n17_a_saint_exupery_1943__1_4_2->n17_a_saint_exupery_1943__1_4_2_1 n17_a_saint_exupery_1943__1_4_3_1 NS n17_a_saint_exupery_1943__1_4_3->n17_a_saint_exupery_1943__1_4_3_1 n17_a_saint_exupery_1943__1_4_3_1->n17_a_saint_exupery_1943__1_4_3_1_1 n17_a_saint_exupery_1943__1_4_4_1 NP-LGS n17_a_saint_exupery_1943__1_4_4->n17_a_saint_exupery_1943__1_4_4_1 n17_a_saint_exupery_1943__1_4_4_2 VVN;_Tn_ n17_a_saint_exupery_1943__1_4_4->n17_a_saint_exupery_1943__1_4_4_2 n17_a_saint_exupery_1943__1_4_4_1->n17_a_saint_exupery_1943__1_4_4_1_1 n17_a_saint_exupery_1943__1_4_4_2->n17_a_saint_exupery_1943__1_4_4_2_1 n17_a_saint_exupery_1943__1_5->n17_a_saint_exupery_1943__1_5_1 
( (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))