( (IP-MAT (PULQ <ldquo>)
          (EX There;{there})
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ADVP-NIM (ADV surely;{surely}))
                      (BE;_ex_V_ be;{be})
                      (NP-ESBJ (ADJP (ADJR enough;{enough}))
                               (N grass;{grass})
                               (PP (P-ROLE for;{for})
                                   (NP;{SHEEP} (PRO him;{he})))))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                       (VBD;_Tn_ said;{say})))
          (PUNC .))
  (ID 97_a_saint_exupery_1943))

arc(r_0097_0003__will,r_0097_0005__be,scope).
arc(r_0097_0003__will,r_0097_0013__said,prn).
arc(r_0097_0005__be,r_0097_0004__surely,nim).
arc(r_0097_0005__be,r_0097_0007__grass,arg0).
arc(r_0097_0007__grass,r_0097_0006__enough,attrib).
arc(r_0097_0007__grass,r_0097_0009__him,r_0097_0008__for).
arc(r_0097_0013__said,r_0097_0012__I,arg0).

fof(formula,axiom,
    ? [R_0097_0012__I,R_0097_0013__SAID,R_0097_0004__SURELY,R_0097_0006__ENOUGH,R_0097_0009__HIM,R_0097_0007__GRASS,R_0097_0003__WILL_R_0097_0005__BE] :
      ( r_0097_0004__surely(R_0097_0004__SURELY)
      & r_0097_0006__enough(R_0097_0006__ENOUGH)
      & r_0097_0009__him(R_0097_0009__HIM)
      & r_0097_0012__I(R_0097_0012__I)
      & r_0097_0003__will_r_0097_0005__be(R_0097_0003__WILL_R_0097_0005__BE)
      & has_arg0(R_0097_0003__WILL_R_0097_0005__BE,R_0097_0007__GRASS)
      & r_0097_0007__grass(R_0097_0007__GRASS)
      & has_r_0097_0008__for(R_0097_0007__GRASS,R_0097_0009__HIM)
      & has_attrib(R_0097_0007__GRASS,R_0097_0006__ENOUGH)
      & has_nim(R_0097_0003__WILL_R_0097_0005__BE,R_0097_0004__SURELY)
      & has_prn(R_0097_0003__WILL_R_0097_0005__BE,R_0097_0013__SAID)
      & r_0097_0013__said(R_0097_0013__SAID)
      & has_arg0(R_0097_0013__SAID,R_0097_0012__I) ) ).