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_0017_0001__THEY,R_0017_0002__ALWAYS,R_0017_0006__THINGS,X_000_17_A_SAINT_EXUPERY_1943_18,Z_000_17_A_SAINT_EXUPERY_1943_19,R_0017_0007__EXPLAINED,R_0017_0004__TO_R_0017_0005__HAVE,R_0017_0003__NEED] :
      ( r_0017_0001__They(R_0017_0001__THEY)
      & r_0017_0002__always(R_0017_0002__ALWAYS)
      & r_0017_0006__things(R_0017_0006__THINGS)
      & x_000_17_a_saint_exupery_1943_18(X_000_17_A_SAINT_EXUPERY_1943_18)
      & z_000_17_a_saint_exupery_1943_19(Z_000_17_A_SAINT_EXUPERY_1943_19)
      & r_0017_0003__need(R_0017_0003__NEED)
      & has_arg1(R_0017_0003__NEED,R_0017_0004__TO_R_0017_0005__HAVE)
      & r_0017_0004__to_r_0017_0005__have(R_0017_0004__TO_R_0017_0005__HAVE)
      & has_prd(R_0017_0004__TO_R_0017_0005__HAVE,R_0017_0007__EXPLAINED)
      & r_0017_0007__explained(R_0017_0007__EXPLAINED)
      & has_arg0(R_0017_0007__EXPLAINED,Z_000_17_A_SAINT_EXUPERY_1943_19)
      & has_arg1(R_0017_0007__EXPLAINED,X_000_17_A_SAINT_EXUPERY_1943_18)
      & has_arg1(R_0017_0004__TO_R_0017_0005__HAVE,R_0017_0006__THINGS)
      & has_arg0(R_0017_0004__TO_R_0017_0005__HAVE,R_0017_0001__THEY)
      & has_nim5(R_0017_0003__NEED,R_0017_0002__ALWAYS)
      & has_arg0(R_0017_0003__NEED,R_0017_0001__THEY) ) ).


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))