9_a_lob_a01
Since 1958, 13 labour life peers and peeresses have been created.
arc(r_0009_0008__and, r_0009_0007__peers, conj1).
arc(r_0009_0008__and, r_0009_0009__peeresses, conj2).
arc(r_0009_0010__have, r_0009_0002__1958, r_0009_0001__Since_nim5).
arc(r_0009_0010__have, r_0009_0011__been, scope).
arc(r_0009_0011__been, r_0009_0012__created, scope).
arc(r_0009_0012__created, r_0009_0008__and, arg1).
arc(r_0009_0012__created, z_000_9_a_lob_a01_33, arg0).
fof(formula,axiom,
? [R_9_10_HAVE_BEEN_CREATED,Z_9_A_LOB_A01_33,R_9_8_AND,R_9_7_PEERS,R_9_9_PEERESSES,R_9_2_1958] :
( peers(R_9_7_PEERS)
& peeresses(R_9_9_PEERESSES)
& 1958(R_9_2_1958)
& have_been_created(R_9_10_HAVE_BEEN_CREATED,Z_9_A_LOB_A01_33,R_9_8_AND)
& and(R_9_8_AND)
& conj1(R_9_8_AND,R_9_7_PEERS)
& conj2(R_9_8_AND,R_9_9_PEERESSES)
& since_nim5(R_9_10_HAVE_BEEN_CREATED,R_9_2_1958) ) ).
( (IP-MAT (PP-NIM (P-ROLE Since;{since})
(NP (NPR 1958)))
(PUNC ,)
(NP-SBJ (NUM 13)
(N labour;{labour})
(N life;{life})
(NLYR (NLYR (NS peers;{peer}))
(CONJP (CONJ and;{and})
(NLYR (NS peeresses;{peeress})))))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ created;{create})))
(PUNC .))
(ID 9_a_lob_a01))