arc(r_0109_0008__and, r_0109_0002__Arnold_r_0109_0003__Wesker, conj1).
arc(r_0109_0008__and, r_0109_0009__Robert_r_0109_0010__Bolt, conj2).
arc(r_0109_0013__flowering, r_0109_0012__the_r_0109_0014__cherry, arg0).
arc(r_0109_0016__were, r_0109_0017__jailed, scope).
arc(r_0109_0017__jailed, r_0109_0008__and, arg1).
arc(r_0109_0017__jailed, r_0109_0019__a_r_0109_0020__month, r_0109_0018__for_nim52).
arc(r_0109_0017__jailed, z_000_109_a_lob_a02_45, arg0).
arc(z_000_109_a_lob_a02_13, r_0109_0002__Arnold_r_0109_0003__Wesker, arg0).
arc(z_000_109_a_lob_a02_13, r_0109_0005__the_r_0109_0006__kitchen, prd).
arc(z_000_109_a_lob_a02_31, r_0109_0009__Robert_r_0109_0010__Bolt, arg0).
arc(z_000_109_a_lob_a02_31, r_0109_0012__the_r_0109_0014__cherry, prd).

fof(formula,axiom,
    ? [R_0109_0012__THE_R_0109_0014__CHERRY,R_0109_0013__FLOWERING,R_0109_0002__ARNOLD_R_0109_0003__WESKER,R_0109_0009__ROBERT_R_0109_0010__BOLT,R_0109_0008__AND,R_0109_0019__A_R_0109_0020__MONTH,Z_000_109_A_LOB_A02_45,R_0109_0016__WERE_R_0109_0017__JAILED,R_0109_0005__THE_R_0109_0006__KITCHEN,Z_000_109_A_LOB_A02_13,Z_000_109_A_LOB_A02_31] :
      ( r_0109_0002__Arnold_r_0109_0003__Wesker(R_0109_0002__ARNOLD_R_0109_0003__WESKER)
      & r_0109_0005__the_r_0109_0006__kitchen(R_0109_0005__THE_R_0109_0006__KITCHEN)
      & r_0109_0009__Robert_r_0109_0010__Bolt(R_0109_0009__ROBERT_R_0109_0010__BOLT)
      & r_0109_0012__the_r_0109_0014__cherry(R_0109_0012__THE_R_0109_0014__CHERRY)
      & r_0109_0019__a_r_0109_0020__month(R_0109_0019__A_R_0109_0020__MONTH)
      & z_000_109_a_lob_a02_45(Z_000_109_A_LOB_A02_45)
      & z_000_109_a_lob_a02_31(Z_000_109_A_LOB_A02_31)
      & has_prd(Z_000_109_A_LOB_A02_31,R_0109_0012__THE_R_0109_0014__CHERRY)
      & has_arg0(Z_000_109_A_LOB_A02_31,R_0109_0009__ROBERT_R_0109_0010__BOLT)
      & z_000_109_a_lob_a02_13(Z_000_109_A_LOB_A02_13)
      & has_prd(Z_000_109_A_LOB_A02_13,R_0109_0005__THE_R_0109_0006__KITCHEN)
      & has_arg0(Z_000_109_A_LOB_A02_13,R_0109_0002__ARNOLD_R_0109_0003__WESKER)
      & r_0109_0016__were_r_0109_0017__jailed(R_0109_0016__WERE_R_0109_0017__JAILED)
      & has_arg0(R_0109_0016__WERE_R_0109_0017__JAILED,Z_000_109_A_LOB_A02_45)
      & has_r_0109_0018__for_nim52(R_0109_0016__WERE_R_0109_0017__JAILED,R_0109_0019__A_R_0109_0020__MONTH)
      & has_arg1(R_0109_0016__WERE_R_0109_0017__JAILED,R_0109_0008__AND)
      & r_0109_0008__and(R_0109_0008__AND)
      & has_conj2(R_0109_0008__AND,R_0109_0009__ROBERT_R_0109_0010__BOLT)
      & has_conj1(R_0109_0008__AND,R_0109_0002__ARNOLD_R_0109_0003__WESKER)
      & r_0109_0013__flowering(R_0109_0013__FLOWERING)
      & has_arg0(R_0109_0013__FLOWERING,R_0109_0012__THE_R_0109_0014__CHERRY) ) ).

( (IP-MAT (NP-SBJ (N Playwrights;{playwright})
                  (NLYR (NLYR (NPR Arnold;{Arnold})
                              (NPR Wesker;{Wesker})
                              (PULB -LRB-)
                              (IP-PPL (NP-PRD (D the;{the})
                                              (N kitchen;{kitchen})))
                              (PURB -RRB-))
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Robert;{Robert})
                                     (NPR Bolt;{Bolt})
                                     (PULB -LRB-)
                                     (IP-PPL (NP-PRD (D the;{the})
                                                     (IP-PPL (VAG;__ flowering;{flower}))
                                                     (N cherry;{cherry})))
                                     (PURB -RRB-)))))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ jailed;{jail})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D a;{a})
                                  (N month;{month}))))
          (PUNC .))
  (ID 109_a_lob_a02))