103_a_lob_a02
750 extra police will bar Sunday squatters.
arc(r_0103_0001__750_r_0103_0003__police, r_0103_0002__extra, attrib5).
arc(r_0103_0004__will, r_0103_0005__bar, scope).
arc(r_0103_0005__bar, r_0103_0001__750_r_0103_0003__police, arg0).
arc(r_0103_0005__bar, r_0103_0007__squatters, arg1).
arc(r_0103_0007__squatters, r_0103_0006__Sunday, qual16).
fof(formula,axiom,
? [R_0103_0002__EXTRA,R_0103_0001__750_R_0103_0003__POLICE,R_0103_0006__SUNDAY,R_0103_0007__SQUATTERS,R_0103_0004__WILL_R_0103_0005__BAR] :
( r_0103_0002__extra(R_0103_0002__EXTRA)
& r_0103_0006__Sunday(R_0103_0006__SUNDAY)
& r_0103_0004__will_r_0103_0005__bar(R_0103_0004__WILL_R_0103_0005__BAR)
& has_arg1(R_0103_0004__WILL_R_0103_0005__BAR,R_0103_0007__SQUATTERS)
& r_0103_0007__squatters(R_0103_0007__SQUATTERS)
& has_qual16(R_0103_0007__SQUATTERS,R_0103_0006__SUNDAY)
& has_arg0(R_0103_0004__WILL_R_0103_0005__BAR,R_0103_0001__750_R_0103_0003__POLICE)
& r_0103_0001__750_r_0103_0003__police(R_0103_0001__750_R_0103_0003__POLICE)
& has_attrib5(R_0103_0001__750_R_0103_0003__POLICE,R_0103_0002__EXTRA) ) ).
( (IP-MAT (NP-SBJ (NUM 750)
(ADJP (ADJ extra;{extra}))
(NS police;{police}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;__ bar;{bar})
(NP-OB1 (ADVP (ADV Sunday;{sunday}))
(NS squatters;{squatter})))
(PUNC .))
(ID 103_a_lob_a02))