( (IP-MAT (NP-SBJ;{ARTWORK} (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD;{RAM} (D a;{a})
                        (N ram;{ram}))
          (PUNC .))
  (ID 81_a_saint_exupery_1943))

arc(r_0081_0002__is,r_0081_0001__This,arg0).
arc(r_0081_0002__is,r_0081_0003__a_r_0081_0004__ram,prd).

fof(formula,axiom,
    ? [R_0081_0001__THIS,R_0081_0003__A_R_0081_0004__RAM,R_0081_0002__IS] :
      ( r_0081_0001__This(R_0081_0001__THIS)
      & r_0081_0003__a_r_0081_0004__ram(R_0081_0003__A_R_0081_0004__RAM)
      & r_0081_0002__is(R_0081_0002__IS)
      & has_prd(R_0081_0002__IS,R_0081_0003__A_R_0081_0004__RAM)
      & has_arg0(R_0081_0002__IS,R_0081_0001__THIS) ) ).