62_a_lob_a02
They are required to show why they should not be bound over for disturbing the peace and for inciting a breach of the peace.
( (IP-MAT (NP-SBJ (PRO They;{they}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Dn.t_ required;{require})
(IP-INF-OB1 (TO to;{to})
(VB;_Tw_ show;{show})
(CP-QUE-OB1 (IP-SUB (ADVP-187 (WADV why;{why}))
(NP-SBJ (PRO they;{they}))
(MD;_cat_Vi_ should;{shall})
(NEG not;{not})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (ADVP-NIM *ICH*-187)
(NP-LGS *)
(VVN;_phr_Vp.n_ bound;{bind[over]})
(RP over;{over})))
(PP-SCON (P-CONN for;{for})
(IP-PPL (ILYR (ILYR (VAG;_Tn_ disturbing;{disturb})
(NP-OB1 (D the;{the})
(N peace;{peace})))
(CONJP (CONJ and;{and})
(ILYR (P-CONN for;{for})
(VAG;_Tn_ inciting;{incite})
(NP-OB1 (D a;{a})
(N breach;{breach})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N peace;{peace})))))))))))))
(PUNC .))
(ID 62_a_lob_a02))
arc(r_0062_0002__are,r_0062_0003__required,scope).
arc(r_0062_0003__required,r_0062_0001__They,arg2).
arc(r_0062_0003__required,r_0062_0005__show,arg1).
arc(r_0062_0003__required,z_0062_5020___star_,arg0).
arc(r_0062_0005__show,r_0062_0001__They,arg0).
arc(r_0062_0005__show,r_0062_0013__for,arg1).
arc(r_0062_0008__should,r_0062_0010__be,scope).
arc(r_0062_0009__not,r_0062_0008__should,keep_scope).
arc(r_0062_0010__be,r_0062_0011__bound_r_0062_0012__over,scope).
arc(r_0062_0011__bound_r_0062_0012__over,r_0062_0006__why,nim).
arc(r_0062_0011__bound_r_0062_0012__over,r_0062_0007__they,arg1).
arc(r_0062_0011__bound_r_0062_0012__over,z_0062_5014___star_,arg0).
arc(r_0062_0013__for,r_0062_0009__not,scope).
arc(r_0062_0013__for,r_0062_0017__and,restriction).
arc(r_0062_0014__disturbing,r_0062_0007__they,arg0).
arc(r_0062_0014__disturbing,r_0062_0015__the_r_0062_0016__peace,arg1).
arc(r_0062_0017__and,r_0062_0014__disturbing,conj1).
arc(r_0062_0017__and,r_0062_0019__inciting,conj2).
arc(r_0062_0019__inciting,r_0062_0007__they,arg0).
arc(r_0062_0019__inciting,r_0062_0020__a_r_0062_0021__breach,arg1).
arc(r_0062_0020__a_r_0062_0021__breach,r_0062_0023__the_r_0062_0024__peace,r_0062_0022__of).
fof(formula,axiom,
? [R_0062_0001__THEY,R_0062_0007__THEY,R_0062_0015__THE_R_0062_0016__PEACE,R_0062_0014__DISTURBING,R_0062_0023__THE_R_0062_0024__PEACE,R_0062_0020__A_R_0062_0021__BREACH,R_0062_0019__INCITING,R_0062_0017__AND,R_0062_0013__FOR,R_0062_0005__SHOW,Z_0062_5020___STAR_,R_0062_0002__ARE_R_0062_0003__REQUIRED] :
( r_0062_0001__They(R_0062_0001__THEY)
& r_0062_0007__they(R_0062_0007__THEY)
& r_0062_0015__the_r_0062_0016__peace(R_0062_0015__THE_R_0062_0016__PEACE)
& r_0062_0023__the_r_0062_0024__peace(R_0062_0023__THE_R_0062_0024__PEACE)
& z_0062_5020___star_(Z_0062_5020___STAR_)
& r_0062_0002__are_r_0062_0003__required(R_0062_0002__ARE_R_0062_0003__REQUIRED)
& has_arg0(R_0062_0002__ARE_R_0062_0003__REQUIRED,Z_0062_5020___STAR_)
& has_arg1(R_0062_0002__ARE_R_0062_0003__REQUIRED,R_0062_0005__SHOW)
& r_0062_0005__show(R_0062_0005__SHOW)
& has_arg1(R_0062_0005__SHOW,R_0062_0013__FOR)
& r_0062_0013__for(R_0062_0013__FOR)
& has_conj1(R_0062_0013__FOR,R_0062_0017__AND)
& r_0062_0017__and(R_0062_0017__AND)
& has_conj2(R_0062_0017__AND,R_0062_0019__INCITING)
& r_0062_0019__inciting(R_0062_0019__INCITING)
& has_arg1(R_0062_0019__INCITING,R_0062_0020__A_R_0062_0021__BREACH)
& r_0062_0020__a_r_0062_0021__breach(R_0062_0020__A_R_0062_0021__BREACH)
& has_r_0062_0022__of(R_0062_0020__A_R_0062_0021__BREACH,R_0062_0023__THE_R_0062_0024__PEACE)
& has_arg0(R_0062_0019__INCITING,R_0062_0007__THEY)
& has_conj1(R_0062_0017__AND,R_0062_0014__DISTURBING)
& r_0062_0014__disturbing(R_0062_0014__DISTURBING)
& has_arg1(R_0062_0014__DISTURBING,R_0062_0015__THE_R_0062_0016__PEACE)
& has_arg0(R_0062_0014__DISTURBING,R_0062_0007__THEY)
& has_conj2(R_0062_0013__FOR,R_0062_0009__NOT)
& ~ ? [R_0062_0006__WHY,Z_0062_5014___STAR_,R_0062_0008__SHOULD_R_0062_0010__BE_R_0062_0011__BOUND_R_0062_0012__OVER] :
( r_0062_0006__why(R_0062_0006__WHY)
& z_0062_5014___star_(Z_0062_5014___STAR_)
& r_0062_0008__should_r_0062_0010__be_r_0062_0011__bound_r_0062_0012__over(R_0062_0008__SHOULD_R_0062_0010__BE_R_0062_0011__BOUND_R_0062_0012__OVER)
& has_arg0(R_0062_0008__SHOULD_R_0062_0010__BE_R_0062_0011__BOUND_R_0062_0012__OVER,Z_0062_5014___STAR_)
& has_arg1(R_0062_0008__SHOULD_R_0062_0010__BE_R_0062_0011__BOUND_R_0062_0012__OVER,R_0062_0007__THEY)
& has_nim(R_0062_0008__SHOULD_R_0062_0010__BE_R_0062_0011__BOUND_R_0062_0012__OVER,R_0062_0006__WHY) )
& has_arg0(R_0062_0005__SHOW,R_0062_0001__THEY)
& has_arg2(R_0062_0002__ARE_R_0062_0003__REQUIRED,R_0062_0001__THEY) ) ).