( (NP (NLYR (NLYR (N Reading;{reading}))
            (CONJP (CONJ and;{and})
                   (NLYR (N writing;{writing})))))
  (ID 16_a_ks4_english))

arc(r_0016_0002__and,r_0016_0001__Reading,conj1).
arc(r_0016_0002__and,r_0016_0003__writing,conj2).
arc(z_0016_5006,r_0016_0002__and,z_0016_5002).

fof(formula,axiom,
    ? [R_0016_0001__READING,R_0016_0003__WRITING,R_0016_0002__AND,Z_0016_5006] :
      ( r_0016_0001__Reading(R_0016_0001__READING)
      & r_0016_0003__writing(R_0016_0003__WRITING)
      & z_0016_5006(Z_0016_5006)
      & has_z_0016_5002(Z_0016_5006,R_0016_0002__AND)
      & r_0016_0002__and(R_0016_0002__AND)
      & has_conj2(R_0016_0002__AND,R_0016_0003__WRITING)
      & has_conj1(R_0016_0002__AND,R_0016_0001__READING) ) ).