TSPC 109_a_lob

109_a_lob_a02
Playwrights Arnold Wesker (the kitchen) and Robert Bolt (the flowering cherry) were jailed for a month.

( (IP-MAT (NP-SBJ (N Playwrights;{playwright})
                  (NLYR (NLYR (NLYR (NPR Arnold;{Arnold})
                                    (NPR Wesker;{Wesker})
                                    (PULB -LRB-)
                                    (PRN (NP (D the;{the})
                                             (N kitchen;{kitchen})))
                                    (PURB -RRB-))
                              (CONJP (CONJ and;{and})
                                     (NLYR (NPR Robert;{Robert})
                                           (NPR Bolt;{Bolt})
                                           (PULB -LRB-)
                                           (PRN (NP (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))

arc(r_0109_0016__were,r_0109_0017__jailed,scope).
arc(r_0109_0017__jailed,r_0109_0001__Playwrights_r_0109_0002__Arnold_r_0109_0003__Wesker_r_0109_0005__the_r_0109_0006__kitchen_r_0109_0008__and_r_0109_0009__Robert_r_0109_0010__Bolt_r_0109_0012__the_r_0109_0013__flowering_r_0109_0014__cherry,arg1).
arc(r_0109_0017__jailed,r_0109_0019__a_r_0109_0020__month,r_0109_0018__for__nim).
arc(r_0109_0017__jailed,z_0109_5004___star_,arg0).

fof(formula,axiom,
    ? [R_0109_0001__PLAYWRIGHTS_R_0109_0002__ARNOLD_R_0109_0003__WESKER_R_0109_0005__THE_R_0109_0006__KITCHEN_R_0109_0008__AND_R_0109_0009__ROBERT_R_0109_0010__BOLT_R_0109_0012__THE_R_0109_0013__FLOWERING_R_0109_0014__CHERRY,R_0109_0019__A_R_0109_0020__MONTH,Z_0109_5004___STAR_,R_0109_0016__WERE_R_0109_0017__JAILED] :
      ( r_0109_0001__Playwrights_r_0109_0002__Arnold_r_0109_0003__Wesker_r_0109_0005__the_r_0109_0006__kitchen_r_0109_0008__and_r_0109_0009__Robert_r_0109_0010__Bolt_r_0109_0012__the_r_0109_0013__flowering_r_0109_0014__cherry(R_0109_0001__PLAYWRIGHTS_R_0109_0002__ARNOLD_R_0109_0003__WESKER_R_0109_0005__THE_R_0109_0006__KITCHEN_R_0109_0008__AND_R_0109_0009__ROBERT_R_0109_0010__BOLT_R_0109_0012__THE_R_0109_0013__FLOWERING_R_0109_0014__CHERRY)
      & r_0109_0019__a_r_0109_0020__month(R_0109_0019__A_R_0109_0020__MONTH)
      & z_0109_5004___star_(Z_0109_5004___STAR_)
      & 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_0109_5004___STAR_)
      & has_r_0109_0018__for__nim(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_0001__PLAYWRIGHTS_R_0109_0002__ARNOLD_R_0109_0003__WESKER_R_0109_0005__THE_R_0109_0006__KITCHEN_R_0109_0008__AND_R_0109_0009__ROBERT_R_0109_0010__BOLT_R_0109_0012__THE_R_0109_0013__FLOWERING_R_0109_0014__CHERRY) ) ).