( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (ADVP (ADV exactly;{exactly}))
                  (D the;{the})
                  (N way;{way})
                  (CP-THT (IP-SUB (NP-SBJ;{PRINCE} (PRO I;{I}))
                                  (VBD;__ wanted;{want})
                                  (NP-OB1;{SHEEP} (PRO it;{it})))))
          (PUNC !))
  (ID 93_a_saint_exupery_1943))

arc(r_0093_0003__is,r_0093_0002__That,arg0).
arc(r_0093_0003__is,r_0093_0005__the_r_0093_0006__way,prd).
arc(r_0093_0005__the_r_0093_0006__way,r_0093_0004__exactly,qual).
arc(r_0093_0005__the_r_0093_0006__way,r_0093_0008__wanted,emb).
arc(r_0093_0008__wanted,r_0093_0007__I,arg0).
arc(r_0093_0008__wanted,r_0093_0009__it,arg1).

fof(formula,axiom,
    ? [R_0093_0002__THAT,R_0093_0004__EXACTLY,R_0093_0007__I,R_0093_0009__IT,R_0093_0008__WANTED,R_0093_0005__THE_R_0093_0006__WAY,R_0093_0003__IS] :
      ( r_0093_0002__That(R_0093_0002__THAT)
      & r_0093_0004__exactly(R_0093_0004__EXACTLY)
      & r_0093_0007__I(R_0093_0007__I)
      & r_0093_0009__it(R_0093_0009__IT)
      & r_0093_0003__is(R_0093_0003__IS)
      & has_prd(R_0093_0003__IS,R_0093_0005__THE_R_0093_0006__WAY)
      & r_0093_0005__the_r_0093_0006__way(R_0093_0005__THE_R_0093_0006__WAY)
      & has_emb(R_0093_0005__THE_R_0093_0006__WAY,R_0093_0008__WANTED)
      & r_0093_0008__wanted(R_0093_0008__WANTED)
      & has_arg1(R_0093_0008__WANTED,R_0093_0009__IT)
      & has_arg0(R_0093_0008__WANTED,R_0093_0007__I)
      & has_qual(R_0093_0005__THE_R_0093_0006__WAY,R_0093_0004__EXACTLY)
      & has_arg0(R_0093_0003__IS,R_0093_0002__THAT) ) ).