Context                Previous, Next                Top


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.

%3 r_0062_0002__are are r_0062_0003__required required r_0062_0002__are->r_0062_0003__required [scope] r_0062_0001__They They r_0062_0003__required->r_0062_0001__They [arg2] r_0062_0004__to_r_0062_0005__show to show r_0062_0003__required->r_0062_0004__to_r_0062_0005__show [arg1] z_000_62_a_lob_a02_8 r_0062_0003__required->z_000_62_a_lob_a02_8 [arg0] r_0062_0004__to_r_0062_0005__show->r_0062_0001__They [arg0] r_0062_0013__for for r_0062_0004__to_r_0062_0005__show->r_0062_0013__for [arg1] r_0062_0009__not not r_0062_0013__for->r_0062_0009__not [scope] r_0062_0017__and and r_0062_0013__for->r_0062_0017__and [restriction] r_0062_0008__should should r_0062_0010__be be r_0062_0008__should->r_0062_0010__be [scope] r_0062_0011__bound_r_0062_0012__over bound over r_0062_0010__be->r_0062_0011__bound_r_0062_0012__over [scope] r_0062_0009__not->r_0062_0008__should [keep_scope] r_0062_0011__bound_r_0062_0012__over->z_000_62_a_lob_a02_8 [arg1] r_0062_0006__why why r_0062_0011__bound_r_0062_0012__over->r_0062_0006__why [nim] z_000_62_a_lob_a02_35 r_0062_0011__bound_r_0062_0012__over->z_000_62_a_lob_a02_35 [arg0] r_0062_0014__disturbing disturbing r_0062_0017__and->r_0062_0014__disturbing [conj1] r_0062_0018__for_r_0062_0019__inciting for inciting r_0062_0017__and->r_0062_0018__for_r_0062_0019__inciting [conj2] r_0062_0014__disturbing->z_000_62_a_lob_a02_8 [arg0] r_0062_0015__the_r_0062_0016__peace the peace r_0062_0014__disturbing->r_0062_0015__the_r_0062_0016__peace [arg1] r_0062_0018__for_r_0062_0019__inciting->z_000_62_a_lob_a02_8 [arg0] r_0062_0020__a_r_0062_0021__breach a breach r_0062_0018__for_r_0062_0019__inciting->r_0062_0020__a_r_0062_0021__breach [arg1] r_0062_0023__the_r_0062_0024__peace the peace r_0062_0020__a_r_0062_0021__breach->r_0062_0023__the_r_0062_0024__peace of 
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).


%3 r_0062_0002__are_r_0062_0003__required are required r_0062_0001__They They r_0062_0002__are_r_0062_0003__required->r_0062_0001__They [arg2] r_0062_0004__to_r_0062_0005__show to show r_0062_0002__are_r_0062_0003__required->r_0062_0004__to_r_0062_0005__show [arg1] z_000_62_a_lob_a02_8 r_0062_0002__are_r_0062_0003__required->z_000_62_a_lob_a02_8 [arg0] r_0062_0004__to_r_0062_0005__show->r_0062_0001__They [arg0] r_0062_0013__for for r_0062_0004__to_r_0062_0005__show->r_0062_0013__for [arg1] r_0062_0009__not not r_0062_0013__for->r_0062_0009__not [conj2] r_0062_0017__and and r_0062_0013__for->r_0062_0017__and [conj1] r_0062_0008__should_r_0062_0010__be_r_0062_0011__bound_r_0062_0012__over should be bound over r_0062_0008__should_r_0062_0010__be_r_0062_0011__bound_r_0062_0012__over->z_000_62_a_lob_a02_8 [arg1] r_0062_0006__why why r_0062_0008__should_r_0062_0010__be_r_0062_0011__bound_r_0062_0012__over->r_0062_0006__why [nim] z_000_62_a_lob_a02_35 r_0062_0008__should_r_0062_0010__be_r_0062_0011__bound_r_0062_0012__over->z_000_62_a_lob_a02_35 [arg0] r_0062_0009__not->r_0062_0008__should_r_0062_0010__be_r_0062_0011__bound_r_0062_0012__over [keep_scope] r_0062_0014__disturbing disturbing r_0062_0017__and->r_0062_0014__disturbing [conj1] r_0062_0018__for_r_0062_0019__inciting for inciting r_0062_0017__and->r_0062_0018__for_r_0062_0019__inciting [conj2] r_0062_0014__disturbing->z_000_62_a_lob_a02_8 [arg0] r_0062_0015__the_r_0062_0016__peace the peace r_0062_0014__disturbing->r_0062_0015__the_r_0062_0016__peace [arg1] r_0062_0018__for_r_0062_0019__inciting->z_000_62_a_lob_a02_8 [arg0] r_0062_0020__a_r_0062_0021__breach a breach r_0062_0018__for_r_0062_0019__inciting->r_0062_0020__a_r_0062_0021__breach [arg1] r_0062_0023__the_r_0062_0024__peace the peace r_0062_0020__a_r_0062_0021__breach->r_0062_0023__the_r_0062_0024__peace 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) ) ) ).


n62_a_lob_a02 n62_a_lob_a02_4 They n62_a_lob_a02_6 are n62_a_lob_a02_9 * n62_a_lob_a02_11 required n62_a_lob_a02_14 to n62_a_lob_a02_16 show n62_a_lob_a02_21 why n62_a_lob_a02_24 they n62_a_lob_a02_26 should n62_a_lob_a02_28 not n62_a_lob_a02_31 be n62_a_lob_a02_36 * n62_a_lob_a02_38 bound n62_a_lob_a02_40 over n62_a_lob_a02_43 for n62_a_lob_a02_48 disturbing n62_a_lob_a02_51 the n62_a_lob_a02_53 peace n62_a_lob_a02_56 and n62_a_lob_a02_59 for n62_a_lob_a02_61 inciting n62_a_lob_a02_64 a n62_a_lob_a02_66 breach n62_a_lob_a02_69 of n62_a_lob_a02_72 the n62_a_lob_a02_74 peace n62_a_lob_a02_76 . n62_a_lob_a02_1 IP-MAT n62_a_lob_a02_2 NP-SBJ n62_a_lob_a02_1->n62_a_lob_a02_2 n62_a_lob_a02_5 BEP;_cat_VePASS_ n62_a_lob_a02_1->n62_a_lob_a02_5 n62_a_lob_a02_7 IP-PPL-CAT n62_a_lob_a02_1->n62_a_lob_a02_7 n62_a_lob_a02_75 PUNC n62_a_lob_a02_1->n62_a_lob_a02_75 n62_a_lob_a02_3 PRO n62_a_lob_a02_2->n62_a_lob_a02_3 n62_a_lob_a02_3->n62_a_lob_a02_4 n62_a_lob_a02_5->n62_a_lob_a02_6 n62_a_lob_a02_8 NP-LGS n62_a_lob_a02_7->n62_a_lob_a02_8 n62_a_lob_a02_10 VVN;_Dn.t_ n62_a_lob_a02_7->n62_a_lob_a02_10 n62_a_lob_a02_12 IP-INF-OB1 n62_a_lob_a02_7->n62_a_lob_a02_12 n62_a_lob_a02_8->n62_a_lob_a02_9 n62_a_lob_a02_10->n62_a_lob_a02_11 n62_a_lob_a02_13 TO n62_a_lob_a02_12->n62_a_lob_a02_13 n62_a_lob_a02_15 VB;_Tw_ n62_a_lob_a02_12->n62_a_lob_a02_15 n62_a_lob_a02_17 CP-QUE-OB1 n62_a_lob_a02_12->n62_a_lob_a02_17 n62_a_lob_a02_13->n62_a_lob_a02_14 n62_a_lob_a02_15->n62_a_lob_a02_16 n62_a_lob_a02_18 IP-SUB n62_a_lob_a02_17->n62_a_lob_a02_18 n62_a_lob_a02_19 ADVP-187 n62_a_lob_a02_18->n62_a_lob_a02_19 n62_a_lob_a02_22 NP-SBJ n62_a_lob_a02_18->n62_a_lob_a02_22 n62_a_lob_a02_25 MD;_cat_Vi_ n62_a_lob_a02_18->n62_a_lob_a02_25 n62_a_lob_a02_27 NEG n62_a_lob_a02_18->n62_a_lob_a02_27 n62_a_lob_a02_29 IP-INF-CAT n62_a_lob_a02_18->n62_a_lob_a02_29 n62_a_lob_a02_41 PP-SCON n62_a_lob_a02_18->n62_a_lob_a02_41 n62_a_lob_a02_20 WADV n62_a_lob_a02_19->n62_a_lob_a02_20 n62_a_lob_a02_20->n62_a_lob_a02_21 n62_a_lob_a02_23 PRO n62_a_lob_a02_22->n62_a_lob_a02_23 n62_a_lob_a02_23->n62_a_lob_a02_24 n62_a_lob_a02_25->n62_a_lob_a02_26 n62_a_lob_a02_27->n62_a_lob_a02_28 n62_a_lob_a02_30 BE;_cat_VePASS_ n62_a_lob_a02_29->n62_a_lob_a02_30 n62_a_lob_a02_32 IP-PPL-CAT n62_a_lob_a02_29->n62_a_lob_a02_32 n62_a_lob_a02_30->n62_a_lob_a02_31 n62_a_lob_a02_33 ADVP-NIM n62_a_lob_a02_32->n62_a_lob_a02_33 n62_a_lob_a02_35 NP-LGS n62_a_lob_a02_32->n62_a_lob_a02_35 n62_a_lob_a02_37 VVN;_phr_Vp.n_ n62_a_lob_a02_32->n62_a_lob_a02_37 n62_a_lob_a02_39 RP n62_a_lob_a02_32->n62_a_lob_a02_39 n62_a_lob_a02_34 *ICH*-187 n62_a_lob_a02_33->n62_a_lob_a02_34 n62_a_lob_a02_35->n62_a_lob_a02_36 n62_a_lob_a02_37->n62_a_lob_a02_38 n62_a_lob_a02_39->n62_a_lob_a02_40 n62_a_lob_a02_42 P-CONN n62_a_lob_a02_41->n62_a_lob_a02_42 n62_a_lob_a02_44 IP-PPL n62_a_lob_a02_41->n62_a_lob_a02_44 n62_a_lob_a02_42->n62_a_lob_a02_43 n62_a_lob_a02_45 ILYR n62_a_lob_a02_44->n62_a_lob_a02_45 n62_a_lob_a02_46 ILYR n62_a_lob_a02_45->n62_a_lob_a02_46 n62_a_lob_a02_54 CONJP n62_a_lob_a02_45->n62_a_lob_a02_54 n62_a_lob_a02_47 VAG;_Tn_ n62_a_lob_a02_46->n62_a_lob_a02_47 n62_a_lob_a02_49 NP-OB1 n62_a_lob_a02_46->n62_a_lob_a02_49 n62_a_lob_a02_47->n62_a_lob_a02_48 n62_a_lob_a02_50 D n62_a_lob_a02_49->n62_a_lob_a02_50 n62_a_lob_a02_52 N n62_a_lob_a02_49->n62_a_lob_a02_52 n62_a_lob_a02_50->n62_a_lob_a02_51 n62_a_lob_a02_52->n62_a_lob_a02_53 n62_a_lob_a02_55 CONJ n62_a_lob_a02_54->n62_a_lob_a02_55 n62_a_lob_a02_57 ILYR n62_a_lob_a02_54->n62_a_lob_a02_57 n62_a_lob_a02_55->n62_a_lob_a02_56 n62_a_lob_a02_58 P-CONN n62_a_lob_a02_57->n62_a_lob_a02_58 n62_a_lob_a02_60 VAG;_Tn_ n62_a_lob_a02_57->n62_a_lob_a02_60 n62_a_lob_a02_62 NP-OB1 n62_a_lob_a02_57->n62_a_lob_a02_62 n62_a_lob_a02_58->n62_a_lob_a02_59 n62_a_lob_a02_60->n62_a_lob_a02_61 n62_a_lob_a02_63 D n62_a_lob_a02_62->n62_a_lob_a02_63 n62_a_lob_a02_65 N n62_a_lob_a02_62->n62_a_lob_a02_65 n62_a_lob_a02_67 PP n62_a_lob_a02_62->n62_a_lob_a02_67 n62_a_lob_a02_63->n62_a_lob_a02_64 n62_a_lob_a02_65->n62_a_lob_a02_66 n62_a_lob_a02_68 P-ROLE n62_a_lob_a02_67->n62_a_lob_a02_68 n62_a_lob_a02_70 NP n62_a_lob_a02_67->n62_a_lob_a02_70 n62_a_lob_a02_68->n62_a_lob_a02_69 n62_a_lob_a02_71 D n62_a_lob_a02_70->n62_a_lob_a02_71 n62_a_lob_a02_73 N n62_a_lob_a02_70->n62_a_lob_a02_73 n62_a_lob_a02_71->n62_a_lob_a02_72 n62_a_lob_a02_73->n62_a_lob_a02_74 n62_a_lob_a02_75->n62_a_lob_a02_76 
( (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))