( (FRAG (ADJP (AJLYR (AJLYR (ADJ Good;{good}))
                     (CONJP (CONJ or;{or})
                            (AJLYR (ADJ bad;{bad})))))
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 41_a_dick_1952))

arc(r_0041_0002__or,r_0041_0001__Good,conj1).
arc(r_0041_0002__or,r_0041_0003__bad,conj2).
arc(z_0041_5004,r_0041_0002__or,attrib).

fof(formula,axiom,
    ? [R_0041_0001__GOOD,R_0041_0003__BAD,R_0041_0002__OR,Z_0041_5004] :
      ( r_0041_0001__Good(R_0041_0001__GOOD)
      & r_0041_0003__bad(R_0041_0003__BAD)
      & z_0041_5004(Z_0041_5004)
      & has_attrib(Z_0041_5004,R_0041_0002__OR)
      & r_0041_0002__or(R_0041_0002__OR)
      & has_conj2(R_0041_0002__OR,R_0041_0003__BAD)
      & has_conj1(R_0041_0002__OR,R_0041_0001__GOOD) ) ).