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

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_0005__find_r_0032_0006__out,arg1).
arc(r_0032_0005__find_r_0032_0006__out,r_0032_0001__I,arg0).
arc(r_0032_0005__find_r_0032_0006__out,r_0032_0008__so,nim).
arc(r_0032_0005__find_r_0032_0006__out,r_0032_0010__if,arg1).
arc(r_0032_0010__if,r_0032_0012__was,keep_scope).
arc(r_0032_0012__was,r_0032_0011__this,arg0).
arc(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,attrib).

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_0012__WAS,R_0032_0010__IF,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_0005__FIND_R_0032_0006__OUT)
      & r_0032_0005__find_r_0032_0006__out(R_0032_0005__FIND_R_0032_0006__OUT)
      & has_arg1(R_0032_0005__FIND_R_0032_0006__OUT,R_0032_0010__IF)
      & r_0032_0010__if(R_0032_0010__IF)
      & has_keep_scope(R_0032_0010__IF,R_0032_0012__WAS)
      & r_0032_0012__was(R_0032_0012__WAS)
      & has_prd(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_attrib(R_0032_0017__UNDERSTANDING,R_0032_0016__TRUE)
      & has_arg0(R_0032_0012__WAS,R_0032_0011__THIS)
      & has_nim(R_0032_0005__FIND_R_0032_0006__OUT,R_0032_0008__SO)
      & has_arg0(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) ) ).