( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{ARTWORK} (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (ADVP-NIM (ADV only;{only}))
          (NP-PRD (NP-GEN;{SHEEP} (PRO;_genm_ his;{his}))
                  (N box;{box}))
          (PUNC .))
  (ID 90_a_saint_exupery_1943))

arc(r_0090_0003__is,r_0090_0002__This,arg0).
arc(r_0090_0003__is,r_0090_0004__only,nim).
arc(r_0090_0003__is,r_0090_0006__box,prd).
arc(r_0090_0006__box,r_0090_0005__his,gen).

fof(formula,axiom,
    ? [R_0090_0002__THIS,R_0090_0004__ONLY,R_0090_0005__HIS,R_0090_0006__BOX,R_0090_0003__IS] :
      ( r_0090_0002__This(R_0090_0002__THIS)
      & r_0090_0004__only(R_0090_0004__ONLY)
      & r_0090_0005__his(R_0090_0005__HIS)
      & r_0090_0003__is(R_0090_0003__IS)
      & has_prd(R_0090_0003__IS,R_0090_0006__BOX)
      & r_0090_0006__box(R_0090_0006__BOX)
      & has_gen(R_0090_0006__BOX,R_0090_0005__HIS)
      & has_nim(R_0090_0003__IS,R_0090_0004__ONLY)
      & has_arg0(R_0090_0003__IS,R_0090_0002__THIS) ) ).