( (IP-MAT (ILYR (ILYR (EX There;{there})
                      (BEP;_ex_Vp_ <apos>s;{be})
                      (ADVP-NIM (ADV still;{still}))
                      (NP-ESBJ (ADVP (ADV quite;{quite}))
                               (D a;{a})
                               (ADJP (ADJ few;{few}))
                               (PP (P-ROLE of;{of})
                                   (NP;{DEV_BOARDS} (D these;{these})
                                                    (NS boards;{board}))))
                      (ADVP-NIM (ADV around;{around})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{DEV_BOARDS} (PRO they;{they}))
                             (ADVP-NIM (ADV still;{still}))
                             (VBP;_I_ work;{work}))))
          (PUNC .))
  (ID 32_a_paulfellows))

arc(r_0032_0002___apos_s,r_0032_0003__still,nim).
arc(r_0032_0002___apos_s,r_0032_0005__a,arg0).
arc(r_0032_0002___apos_s,r_0032_0010__around,nim).
arc(r_0032_0005__a,r_0032_0004__quite,qual).
arc(r_0032_0005__a,r_0032_0006__few,attrib).
arc(r_0032_0005__a,r_0032_0008__these_r_0032_0009__boards,r_0032_0007__of).
arc(r_0032_0011__and,r_0032_0002___apos_s,conj1).
arc(r_0032_0011__and,r_0032_0014__work,conj2).
arc(r_0032_0014__work,r_0032_0008__these_r_0032_0009__boards,arg0).
arc(r_0032_0014__work,r_0032_0013__still,nim).

fof(formula,axiom,
    ? [R_0032_0003__STILL,R_0032_0004__QUITE,R_0032_0006__FEW,R_0032_0008__THESE_R_0032_0009__BOARDS,R_0032_0005__A,R_0032_0010__AROUND,R_0032_0002___APOS_S,R_0032_0013__STILL,R_0032_0014__WORK,R_0032_0011__AND] :
      ( r_0032_0003__still(R_0032_0003__STILL)
      & r_0032_0004__quite(R_0032_0004__QUITE)
      & r_0032_0006__few(R_0032_0006__FEW)
      & r_0032_0008__these_r_0032_0009__boards(R_0032_0008__THESE_R_0032_0009__BOARDS)
      & r_0032_0010__around(R_0032_0010__AROUND)
      & r_0032_0013__still(R_0032_0013__STILL)
      & r_0032_0011__and(R_0032_0011__AND)
      & has_conj2(R_0032_0011__AND,R_0032_0014__WORK)
      & r_0032_0014__work(R_0032_0014__WORK)
      & has_nim(R_0032_0014__WORK,R_0032_0013__STILL)
      & has_arg0(R_0032_0014__WORK,R_0032_0008__THESE_R_0032_0009__BOARDS)
      & has_conj1(R_0032_0011__AND,R_0032_0002___APOS_S)
      & r_0032_0002___apos_s(R_0032_0002___APOS_S)
      & has_nim(R_0032_0002___APOS_S,R_0032_0010__AROUND)
      & has_arg0(R_0032_0002___APOS_S,R_0032_0005__A)
      & r_0032_0005__a(R_0032_0005__A)
      & has_r_0032_0007__of(R_0032_0005__A,R_0032_0008__THESE_R_0032_0009__BOARDS)
      & has_attrib(R_0032_0005__A,R_0032_0006__FEW)
      & has_qual(R_0032_0005__A,R_0032_0004__QUITE)
      & has_nim(R_0032_0002___APOS_S,R_0032_0003__STILL) ) ).