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_000_79_a_dick_1952_2, r_0079_0003__cracked, conj1).
arc(z_000_79_a_dick_1952_2, 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_000_79_A_DICK_1952_2] :
      ( 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_000_79_a_dick_1952_2(Z_000_79_A_DICK_1952_2)
      & has_conj2(Z_000_79_A_DICK_1952_2,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_000_79_A_DICK_1952_2,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) ) ).

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