Context                Previous, Next                Top


32_a_saint_exupery_1943
I would try to find out, so, if this was a person of true understanding.

%3 r_0032_0002__would would r_0032_0003__try try r_0032_0002__would->r_0032_0003__try [scope] r_0032_0001__I I r_0032_0003__try->r_0032_0001__I [arg0] r_0032_0004__to_r_0032_0005__find_r_0032_0006__out to find out r_0032_0003__try->r_0032_0004__to_r_0032_0005__find_r_0032_0006__out [arg1] r_0032_0004__to_r_0032_0005__find_r_0032_0006__out->r_0032_0001__I [arg0] r_0032_0008__so so r_0032_0004__to_r_0032_0005__find_r_0032_0006__out->r_0032_0008__so [nim] r_0032_0010__if_r_0032_0012__was if was r_0032_0004__to_r_0032_0005__find_r_0032_0006__out->r_0032_0010__if_r_0032_0012__was [arg1] r_0032_0011__this this r_0032_0010__if_r_0032_0012__was->r_0032_0011__this [arg0] r_0032_0013__a_r_0032_0014__person a person r_0032_0010__if_r_0032_0012__was->r_0032_0013__a_r_0032_0014__person [prd] r_0032_0017__understanding understanding r_0032_0013__a_r_0032_0014__person->r_0032_0017__understanding of r_0032_0016__true true r_0032_0017__understanding->r_0032_0016__true [attrib] 
arc(r_0032_0002__would, r_0032_0003__try, scope).
arc(r_0032_0003__try, r_0032_0001__I, arg0).
arc(r_0032_0003__try, r_0032_0004__to_r_0032_0005__find_r_0032_0006__out, arg1).
arc(r_0032_0004__to_r_0032_0005__find_r_0032_0006__out, r_0032_0001__I, arg0).
arc(r_0032_0004__to_r_0032_0005__find_r_0032_0006__out, r_0032_0008__so, nim19).
arc(r_0032_0004__to_r_0032_0005__find_r_0032_0006__out, r_0032_0010__if_r_0032_0012__was, arg1).
arc(r_0032_0010__if_r_0032_0012__was, r_0032_0011__this, arg0).
arc(r_0032_0010__if_r_0032_0012__was, r_0032_0013__a_r_0032_0014__person, prd).
arc(r_0032_0013__a_r_0032_0014__person, r_0032_0017__understanding, r_0032_0015__of).
arc(r_0032_0017__understanding, r_0032_0016__true, attrib42).


%3 r_0032_0017__understanding understanding r_0032_0016__true true r_0032_0017__understanding->r_0032_0016__true [attrib] r_0032_0013__a_r_0032_0014__person a person r_0032_0013__a_r_0032_0014__person->r_0032_0017__understanding of r_0032_0010__if_r_0032_0012__was if was r_0032_0010__if_r_0032_0012__was->r_0032_0013__a_r_0032_0014__person [prd] r_0032_0011__this this r_0032_0010__if_r_0032_0012__was->r_0032_0011__this [arg0] r_0032_0004__to_r_0032_0005__find_r_0032_0006__out to find out r_0032_0004__to_r_0032_0005__find_r_0032_0006__out->r_0032_0010__if_r_0032_0012__was [arg1] r_0032_0008__so so r_0032_0004__to_r_0032_0005__find_r_0032_0006__out->r_0032_0008__so [nim] r_0032_0001__I I r_0032_0004__to_r_0032_0005__find_r_0032_0006__out->r_0032_0001__I [arg0] r_0032_0002__would_r_0032_0003__try would try r_0032_0002__would_r_0032_0003__try->r_0032_0004__to_r_0032_0005__find_r_0032_0006__out [arg1] r_0032_0002__would_r_0032_0003__try->r_0032_0001__I [arg0] 
fof(formula,axiom,
    ? [R_0032_0001__I,R_0032_0008__SO,R_0032_0011__THIS,R_0032_0016__TRUE,R_0032_0017__UNDERSTANDING,R_0032_0013__A_R_0032_0014__PERSON,R_0032_0010__IF_R_0032_0012__WAS,R_0032_0004__TO_R_0032_0005__FIND_R_0032_0006__OUT,R_0032_0002__WOULD_R_0032_0003__TRY] :
      ( r_0032_0001__I(R_0032_0001__I)
      & r_0032_0008__so(R_0032_0008__SO)
      & r_0032_0011__this(R_0032_0011__THIS)
      & r_0032_0016__true(R_0032_0016__TRUE)
      & r_0032_0002__would_r_0032_0003__try(R_0032_0002__WOULD_R_0032_0003__TRY)
      & has_arg1(R_0032_0002__WOULD_R_0032_0003__TRY,R_0032_0004__TO_R_0032_0005__FIND_R_0032_0006__OUT)
      & r_0032_0004__to_r_0032_0005__find_r_0032_0006__out(R_0032_0004__TO_R_0032_0005__FIND_R_0032_0006__OUT)
      & has_arg1(R_0032_0004__TO_R_0032_0005__FIND_R_0032_0006__OUT,R_0032_0010__IF_R_0032_0012__WAS)
      & r_0032_0010__if_r_0032_0012__was(R_0032_0010__IF_R_0032_0012__WAS)
      & has_prd(R_0032_0010__IF_R_0032_0012__WAS,R_0032_0013__A_R_0032_0014__PERSON)
      & r_0032_0013__a_r_0032_0014__person(R_0032_0013__A_R_0032_0014__PERSON)
      & has_r_0032_0015__of(R_0032_0013__A_R_0032_0014__PERSON,R_0032_0017__UNDERSTANDING)
      & r_0032_0017__understanding(R_0032_0017__UNDERSTANDING)
      & has_attrib42(R_0032_0017__UNDERSTANDING,R_0032_0016__TRUE)
      & has_arg0(R_0032_0010__IF_R_0032_0012__WAS,R_0032_0011__THIS)
      & has_nim19(R_0032_0004__TO_R_0032_0005__FIND_R_0032_0006__OUT,R_0032_0008__SO)
      & has_arg0(R_0032_0004__TO_R_0032_0005__FIND_R_0032_0006__OUT,R_0032_0001__I)
      & has_arg0(R_0032_0002__WOULD_R_0032_0003__TRY,R_0032_0001__I) ) ).


n32_a_saint_exupery_1943 n32_a_saint_exupery_1943__1_1_1_1 I n32_a_saint_exupery_1943__1_2_1 would n32_a_saint_exupery_1943__1_3_1_1 try n32_a_saint_exupery_1943__1_3_2_1_1 to n32_a_saint_exupery_1943__1_3_2_2_1 find n32_a_saint_exupery_1943__1_3_2_3_1 out n32_a_saint_exupery_1943__1_3_2_4_1 , n32_a_saint_exupery_1943__1_3_2_5_1_1 so n32_a_saint_exupery_1943__1_3_2_6_1 , n32_a_saint_exupery_1943__1_3_2_7_1_1_1 if n32_a_saint_exupery_1943__1_3_2_7_1_2_1_1 this n32_a_saint_exupery_1943__1_3_2_7_1_3_1 was n32_a_saint_exupery_1943__1_3_2_7_1_4_1_1 a n32_a_saint_exupery_1943__1_3_2_7_1_4_2_1 person n32_a_saint_exupery_1943__1_3_2_7_1_4_3_1_1 of n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1_1_1 true n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_2_1 understanding n32_a_saint_exupery_1943__1_4_1 . n32_a_saint_exupery_1943__1 IP-MAT n32_a_saint_exupery_1943__1_1 NP-SBJ n32_a_saint_exupery_1943__1->n32_a_saint_exupery_1943__1_1 n32_a_saint_exupery_1943__1_2 MD;_cat_Vi_ n32_a_saint_exupery_1943__1->n32_a_saint_exupery_1943__1_2 n32_a_saint_exupery_1943__1_3 IP-INF-CAT n32_a_saint_exupery_1943__1->n32_a_saint_exupery_1943__1_3 n32_a_saint_exupery_1943__1_4 PUNC n32_a_saint_exupery_1943__1->n32_a_saint_exupery_1943__1_4 n32_a_saint_exupery_1943__1_1_1 PRO n32_a_saint_exupery_1943__1_1->n32_a_saint_exupery_1943__1_1_1 n32_a_saint_exupery_1943__1_1_1->n32_a_saint_exupery_1943__1_1_1_1 n32_a_saint_exupery_1943__1_2->n32_a_saint_exupery_1943__1_2_1 n32_a_saint_exupery_1943__1_3_1 VB;__ n32_a_saint_exupery_1943__1_3->n32_a_saint_exupery_1943__1_3_1 n32_a_saint_exupery_1943__1_3_2 IP-INF-OB1 n32_a_saint_exupery_1943__1_3->n32_a_saint_exupery_1943__1_3_2 n32_a_saint_exupery_1943__1_3_1->n32_a_saint_exupery_1943__1_3_1_1 n32_a_saint_exupery_1943__1_3_2_1 TO n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_1 n32_a_saint_exupery_1943__1_3_2_2 VB;__ n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_2 n32_a_saint_exupery_1943__1_3_2_3 RP n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_3 n32_a_saint_exupery_1943__1_3_2_4 PUNC n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_4 n32_a_saint_exupery_1943__1_3_2_5 ADVP-NIM n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_5 n32_a_saint_exupery_1943__1_3_2_6 PUNC n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_6 n32_a_saint_exupery_1943__1_3_2_7 CP-QUE-OB1 n32_a_saint_exupery_1943__1_3_2->n32_a_saint_exupery_1943__1_3_2_7 n32_a_saint_exupery_1943__1_3_2_1->n32_a_saint_exupery_1943__1_3_2_1_1 n32_a_saint_exupery_1943__1_3_2_2->n32_a_saint_exupery_1943__1_3_2_2_1 n32_a_saint_exupery_1943__1_3_2_3->n32_a_saint_exupery_1943__1_3_2_3_1 n32_a_saint_exupery_1943__1_3_2_4->n32_a_saint_exupery_1943__1_3_2_4_1 n32_a_saint_exupery_1943__1_3_2_5_1 ADV n32_a_saint_exupery_1943__1_3_2_5->n32_a_saint_exupery_1943__1_3_2_5_1 n32_a_saint_exupery_1943__1_3_2_5_1->n32_a_saint_exupery_1943__1_3_2_5_1_1 n32_a_saint_exupery_1943__1_3_2_6->n32_a_saint_exupery_1943__1_3_2_6_1 n32_a_saint_exupery_1943__1_3_2_7_1 IP-SUB n32_a_saint_exupery_1943__1_3_2_7->n32_a_saint_exupery_1943__1_3_2_7_1 n32_a_saint_exupery_1943__1_3_2_7_1_1 WQ n32_a_saint_exupery_1943__1_3_2_7_1->n32_a_saint_exupery_1943__1_3_2_7_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_2 NP-SBJ n32_a_saint_exupery_1943__1_3_2_7_1->n32_a_saint_exupery_1943__1_3_2_7_1_2 n32_a_saint_exupery_1943__1_3_2_7_1_3 BED;_Ln_ n32_a_saint_exupery_1943__1_3_2_7_1->n32_a_saint_exupery_1943__1_3_2_7_1_3 n32_a_saint_exupery_1943__1_3_2_7_1_4 NP-PRD n32_a_saint_exupery_1943__1_3_2_7_1->n32_a_saint_exupery_1943__1_3_2_7_1_4 n32_a_saint_exupery_1943__1_3_2_7_1_1->n32_a_saint_exupery_1943__1_3_2_7_1_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_2_1 D;_nphd_ n32_a_saint_exupery_1943__1_3_2_7_1_2->n32_a_saint_exupery_1943__1_3_2_7_1_2_1 n32_a_saint_exupery_1943__1_3_2_7_1_2_1->n32_a_saint_exupery_1943__1_3_2_7_1_2_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_3->n32_a_saint_exupery_1943__1_3_2_7_1_3_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_1 D n32_a_saint_exupery_1943__1_3_2_7_1_4->n32_a_saint_exupery_1943__1_3_2_7_1_4_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_2 N n32_a_saint_exupery_1943__1_3_2_7_1_4->n32_a_saint_exupery_1943__1_3_2_7_1_4_2 n32_a_saint_exupery_1943__1_3_2_7_1_4_3 PP n32_a_saint_exupery_1943__1_3_2_7_1_4->n32_a_saint_exupery_1943__1_3_2_7_1_4_3 n32_a_saint_exupery_1943__1_3_2_7_1_4_1->n32_a_saint_exupery_1943__1_3_2_7_1_4_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_2->n32_a_saint_exupery_1943__1_3_2_7_1_4_2_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_1 P-ROLE n32_a_saint_exupery_1943__1_3_2_7_1_4_3->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2 NP n32_a_saint_exupery_1943__1_3_2_7_1_4_3->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_1->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1 ADJP n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_2 N n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_2 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1_1 ADJ n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1_1->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_1_1_1 n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_2->n32_a_saint_exupery_1943__1_3_2_7_1_4_3_2_2_1 n32_a_saint_exupery_1943__1_4->n32_a_saint_exupery_1943__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;__ try;{try})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;__ find;{find})
                                  (RP out;{out})
                                  (PUNC ,)
                                  (ADVP-NIM (ADV so;{so}))
                                  (PUNC ,)
                                  (CP-QUE-OB1 (IP-SUB (WQ if;{if})
                                                      (NP-SBJ (D;_nphd_ this;{this}))
                                                      (BED;_Ln_ was;{be})
                                                      (NP-PRD (D a;{a})
                                                              (N person;{person})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (ADJP (ADJ true;{true}))
                                                                      (N understanding;{understanding}))))))))
          (PUNC .))
  (ID 32_a_saint_exupery_1943))