( (IP-MAT (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tn.pr_ bring;{bring})
                      (NP-OB1 (PNX myself;{myself}))
                      (PP-NIM (P-ROLE down_to;{down_to})
                              (NP (NP-GEN;{PERSON} (PRO;_genm_ his;{his}))
                                  (N level;{level}))))
          (PUNC .))
  (ID 35_a_saint_exupery_1943))

arc(r_0035_0002__would,r_0035_0003__bring,scope).
arc(r_0035_0003__bring,r_0035_0001__I,arg0).
arc(r_0035_0003__bring,r_0035_0001__I,arg1).
arc(r_0035_0003__bring,r_0035_0007__level,r_0035_0005__down_to__nim).
arc(r_0035_0007__level,r_0035_0006__his,gen).

fof(formula,axiom,
    ? [R_0035_0001__I,R_0035_0006__HIS,R_0035_0007__LEVEL,R_0035_0002__WOULD_R_0035_0003__BRING] :
      ( r_0035_0001__I(R_0035_0001__I)
      & r_0035_0006__his(R_0035_0006__HIS)
      & r_0035_0002__would_r_0035_0003__bring(R_0035_0002__WOULD_R_0035_0003__BRING)
      & has_r_0035_0005__down_to__nim(R_0035_0002__WOULD_R_0035_0003__BRING,R_0035_0007__LEVEL)
      & r_0035_0007__level(R_0035_0007__LEVEL)
      & has_gen(R_0035_0007__LEVEL,R_0035_0006__HIS)
      & has_arg1(R_0035_0002__WOULD_R_0035_0003__BRING,R_0035_0001__I)
      & has_arg0(R_0035_0002__WOULD_R_0035_0003__BRING,R_0035_0001__I) ) ).