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_109_13_FLOWERING,R_109_16_WERE_JAILED,Z_109_A_LOB_A02_45,R_109_8_AND,R_109_19_A_MONTH,Z_109_A_LOB_A02_13,R_109_2_ARNOLD_WESKER,R_109_5_THE_KITCHEN,Z_109_A_LOB_A02_31,R_109_9_ROBERT_BOLT,R_109_12_THE_CHERRY] :
      ( a_month(R_109_19_A_MONTH)
      & arnold_Wesker(R_109_2_ARNOLD_WESKER)
      & the_kitchen(R_109_5_THE_KITCHEN)
      & robert_Bolt(R_109_9_ROBERT_BOLT)
      & the_cherry(R_109_12_THE_CHERRY)
      & flowering(R_109_13_FLOWERING,R_109_12_THE_CHERRY)
      & were_jailed(R_109_16_WERE_JAILED,Z_109_A_LOB_A02_45,R_109_8_AND)
      & and(R_109_8_AND)
      & conj1(R_109_8_AND,R_109_2_ARNOLD_WESKER)
      & conj2(R_109_8_AND,R_109_9_ROBERT_BOLT)
      & for_nim52(R_109_16_WERE_JAILED,R_109_19_A_MONTH)
      & z_109_a_lob_a02_13(Z_109_A_LOB_A02_13,R_109_2_ARNOLD_WESKER,R_109_5_THE_KITCHEN)
      & z_109_a_lob_a02_31(Z_109_A_LOB_A02_31,R_109_9_ROBERT_BOLT,R_109_12_THE_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))