( (IP-MAT (NP-SBJ;{PRINCE} (PRO I;{I}))
          (VBP;__ want;{want})
          (NP-OB1;{SHEEP} (D a;{a})
                          (N sheep;{sheep})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (MD;_cat_Vi_ will;{will})
                                  (IP-INF-CAT (VB;__ live;{live})
                                              (NP-NIM (D a;{a})
                                                      (ADJP (ADJ long;{long}))
                                                      (N time;{time})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 86_a_saint_exupery_1943))

arc(r_0086_0002__want,r_0086_0001__I,arg0).
arc(r_0086_0002__want,r_0086_0003__a_r_0086_0004__sheep,arg1).
arc(r_0086_0006__will,r_0086_0007__live,scope).
arc(r_0086_0007__live,r_0086_0003__a_r_0086_0004__sheep,arg0).
arc(r_0086_0007__live,r_0086_0008__a_r_0086_0010__time,nim).
arc(r_0086_0008__a_r_0086_0010__time,r_0086_0009__long,attrib).

fof(formula,axiom,
    ? [R_0086_0001__I,R_0086_0003__A_R_0086_0004__SHEEP,R_0086_0002__WANT,R_0086_0009__LONG,R_0086_0008__A_R_0086_0010__TIME,R_0086_0006__WILL_R_0086_0007__LIVE] :
      ( r_0086_0001__I(R_0086_0001__I)
      & r_0086_0003__a_r_0086_0004__sheep(R_0086_0003__A_R_0086_0004__SHEEP)
      & r_0086_0009__long(R_0086_0009__LONG)
      & r_0086_0006__will_r_0086_0007__live(R_0086_0006__WILL_R_0086_0007__LIVE)
      & has_nim(R_0086_0006__WILL_R_0086_0007__LIVE,R_0086_0008__A_R_0086_0010__TIME)
      & r_0086_0008__a_r_0086_0010__time(R_0086_0008__A_R_0086_0010__TIME)
      & has_attrib(R_0086_0008__A_R_0086_0010__TIME,R_0086_0009__LONG)
      & has_arg0(R_0086_0006__WILL_R_0086_0007__LIVE,R_0086_0003__A_R_0086_0004__SHEEP)
      & r_0086_0002__want(R_0086_0002__WANT)
      & has_arg1(R_0086_0002__WANT,R_0086_0003__A_R_0086_0004__SHEEP)
      & has_arg0(R_0086_0002__WANT,R_0086_0001__I) ) ).