( (IP-MAT (NP-SBJ (N Education;{education}))
          (BEP;_La_ is;{be})
          (ADVP-NIM (ADV all;{all}))
          (ADJP-PRD (ADVP (ADV very;{very}))
                    (AJLYR (AJLYR (ADJ fine;{fine}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ large;{large})))))
          (PUNC ...)
          (PUNC .))
  (ID 45_a_joyce_1914))

arc(r_0045_0002__is,r_0045_0001__Education,arg0).
arc(r_0045_0002__is,r_0045_0003__all,nim).
arc(r_0045_0002__is,r_0045_0006__and,prd).
arc(r_0045_0006__and,r_0045_0004__very,qual).
arc(r_0045_0006__and,r_0045_0005__fine,conj1).
arc(r_0045_0006__and,r_0045_0007__large,conj2).

fof(formula,axiom,
    ? [R_0045_0001__EDUCATION,R_0045_0003__ALL,R_0045_0004__VERY,R_0045_0005__FINE,R_0045_0007__LARGE,R_0045_0006__AND,R_0045_0002__IS] :
      ( r_0045_0001__Education(R_0045_0001__EDUCATION)
      & r_0045_0003__all(R_0045_0003__ALL)
      & r_0045_0004__very(R_0045_0004__VERY)
      & r_0045_0005__fine(R_0045_0005__FINE)
      & r_0045_0007__large(R_0045_0007__LARGE)
      & r_0045_0002__is(R_0045_0002__IS)
      & has_prd(R_0045_0002__IS,R_0045_0006__AND)
      & r_0045_0006__and(R_0045_0006__AND)
      & has_conj2(R_0045_0006__AND,R_0045_0007__LARGE)
      & has_conj1(R_0045_0006__AND,R_0045_0005__FINE)
      & has_qual(R_0045_0006__AND,R_0045_0004__VERY)
      & has_nim(R_0045_0002__IS,R_0045_0003__ALL)
      & has_arg0(R_0045_0002__IS,R_0045_0001__EDUCATION) ) ).