( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N ceiling;{ceiling}))
                      (VBD;_La_ cracked;{crack})
                      (ADJP-PRD (ADJ open;{open})))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (NLYR (NLYR (NS struts;{strut}))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (NS girders;{girder})))))
                             (ILYR (ILYR (VBD;_I_ twisted;{twist}))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;_I_ bent;{bend})))))))
          (PUNC .))
  (ID 79_a_dick_1952))

arc(r_0079_0003__cracked,r_0079_0001__The_r_0079_0002__ceiling,arg0).
arc(r_0079_0003__cracked,r_0079_0004__open,prd).
arc(r_0079_0007__and,r_0079_0006__struts,conj1).
arc(r_0079_0007__and,r_0079_0008__girders,conj2).
arc(r_0079_0009__twisted,r_0079_0007__and,arg0).
arc(r_0079_0010__and,r_0079_0009__twisted,conj1).
arc(r_0079_0010__and,r_0079_0011__bent,conj2).
arc(r_0079_0011__bent,r_0079_0007__and,arg0).
arc(z_0079_5001,r_0079_0003__cracked,conj1).
arc(z_0079_5001,r_0079_0010__and,conj2).

fof(formula,axiom,
    ? [R_0079_0001__THE_R_0079_0002__CEILING,R_0079_0004__OPEN,R_0079_0003__CRACKED,R_0079_0006__STRUTS,R_0079_0008__GIRDERS,R_0079_0007__AND,R_0079_0009__TWISTED,R_0079_0011__BENT,R_0079_0010__AND,Z_0079_5001] :
      ( r_0079_0001__The_r_0079_0002__ceiling(R_0079_0001__THE_R_0079_0002__CEILING)
      & r_0079_0004__open(R_0079_0004__OPEN)
      & r_0079_0006__struts(R_0079_0006__STRUTS)
      & r_0079_0008__girders(R_0079_0008__GIRDERS)
      & z_0079_5001(Z_0079_5001)
      & has_conj2(Z_0079_5001,R_0079_0010__AND)
      & r_0079_0010__and(R_0079_0010__AND)
      & has_conj2(R_0079_0010__AND,R_0079_0011__BENT)
      & r_0079_0011__bent(R_0079_0011__BENT)
      & has_arg0(R_0079_0011__BENT,R_0079_0007__AND)
      & r_0079_0007__and(R_0079_0007__AND)
      & has_conj2(R_0079_0007__AND,R_0079_0008__GIRDERS)
      & has_conj1(R_0079_0007__AND,R_0079_0006__STRUTS)
      & has_conj1(R_0079_0010__AND,R_0079_0009__TWISTED)
      & r_0079_0009__twisted(R_0079_0009__TWISTED)
      & has_arg0(R_0079_0009__TWISTED,R_0079_0007__AND)
      & has_conj1(Z_0079_5001,R_0079_0003__CRACKED)
      & r_0079_0003__cracked(R_0079_0003__CRACKED)
      & has_prd(R_0079_0003__CRACKED,R_0079_0004__OPEN)
      & has_arg0(R_0079_0003__CRACKED,R_0079_0001__THE_R_0079_0002__CEILING) ) ).