arc(r_0032_0001__There_r_0032_0002___apos_s, r_0032_0003__still, nim8).
arc(r_0032_0001__There_r_0032_0002___apos_s, r_0032_0005__a, arg0).
arc(r_0032_0001__There_r_0032_0002___apos_s, r_0032_0010__around, nim28).
arc(r_0032_0005__a, r_0032_0004__quite, qual12).
arc(r_0032_0005__a, r_0032_0006__few, attrib17).
arc(r_0032_0005__a, r_0032_0008__these_r_0032_0009__boards, r_0032_0007__of).
arc(r_0032_0011__and, r_0032_0001__There_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, nim38).

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_0001__THERE_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_nim38(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_0001__THERE_R_0032_0002___APOS_S)
      & r_0032_0001__There_r_0032_0002___apos_s(R_0032_0001__THERE_R_0032_0002___APOS_S)
      & has_nim28(R_0032_0001__THERE_R_0032_0002___APOS_S,R_0032_0010__AROUND)
      & has_arg0(R_0032_0001__THERE_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_attrib17(R_0032_0005__A,R_0032_0006__FEW)
      & has_qual12(R_0032_0005__A,R_0032_0004__QUITE)
      & has_nim8(R_0032_0001__THERE_R_0032_0002___APOS_S,R_0032_0003__STILL) ) ).

( (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))