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.
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_0004__to_r_0062_0005__show, arg1).
arc(r_0062_0003__required, z_000_62_a_lob_a02_8, arg0).
arc(r_0062_0004__to_r_0062_0005__show, r_0062_0001__They, arg0).
arc(r_0062_0004__to_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, nim33).
arc(r_0062_0011__bound_r_0062_0012__over, z_000_62_a_lob_a02_35, arg0).
arc(r_0062_0011__bound_r_0062_0012__over, z_000_62_a_lob_a02_8, arg1).
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_0015__the_r_0062_0016__peace, arg1).
arc(r_0062_0014__disturbing, z_000_62_a_lob_a02_8, arg0).
arc(r_0062_0017__and, r_0062_0014__disturbing, conj1).
arc(r_0062_0017__and, r_0062_0018__for_r_0062_0019__inciting, conj2).
arc(r_0062_0018__for_r_0062_0019__inciting, r_0062_0020__a_r_0062_0021__breach, arg1).
arc(r_0062_0018__for_r_0062_0019__inciting, z_000_62_a_lob_a02_8, arg0).
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_62_2_ARE_REQUIRED,R_62_4_TO_SHOW,R_62_13_FOR,R_62_17_AND,R_62_14_DISTURBING,R_62_15_THE_PEACE,R_62_18_FOR_INCITING,Z_62_A_LOB_A02_8,R_62_20_A_BREACH,R_62_23_THE_PEACE,R_62_1_THEY] :
( the_peace(R_62_15_THE_PEACE)
& the_peace(R_62_23_THE_PEACE)
& they(R_62_1_THEY)
& are_required(R_62_2_ARE_REQUIRED,Z_62_A_LOB_A02_8,R_62_4_TO_SHOW,R_62_1_THEY)
& to_show(R_62_4_TO_SHOW,R_62_1_THEY,R_62_13_FOR)
& for(R_62_13_FOR)
& conj1(R_62_13_FOR,R_62_17_AND)
& and(R_62_17_AND)
& conj1(R_62_17_AND,R_62_14_DISTURBING)
& disturbing(R_62_14_DISTURBING,Z_62_A_LOB_A02_8,R_62_15_THE_PEACE)
& conj2(R_62_17_AND,R_62_18_FOR_INCITING)
& for_inciting(R_62_18_FOR_INCITING,Z_62_A_LOB_A02_8,R_62_20_A_BREACH)
& a_breach(R_62_20_A_BREACH)
& of(R_62_20_A_BREACH,R_62_23_THE_PEACE)
& conj2(R_62_13_FOR,R_62_9_NOT)
& ~ ? [R_62_8_SHOULD_BE_BOUND_OVER,Z_62_A_LOB_A02_35,R_62_6_WHY] :
( why(R_62_6_WHY)
& should_be_bound_over(R_62_8_SHOULD_BE_BOUND_OVER,Z_62_A_LOB_A02_35,Z_62_A_LOB_A02_8)
& nim33(R_62_8_SHOULD_BE_BOUND_OVER,R_62_6_WHY) ) ) ).
( (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))