Context                Previous, Next                Top


17_a_johnson_letter
So, if people break the rules, the police will issue fines and disperse gatherings.

%3 r_0017_0003__if if r_0017_0005__break break r_0017_0003__if->r_0017_0005__break [restriction] r_0017_0011__will will r_0017_0003__if->r_0017_0011__will [scope] r_0017_0004__people people r_0017_0005__break->r_0017_0004__people [arg0] r_0017_0006__the_r_0017_0007__rules the rules r_0017_0005__break->r_0017_0006__the_r_0017_0007__rules [arg1] r_0017_0001__So So r_0017_0011__will->r_0017_0001__So [nim] r_0017_0014__and and r_0017_0011__will->r_0017_0014__and [scope] r_0017_0012__issue issue r_0017_0014__and->r_0017_0012__issue [conj1] r_0017_0015__disperse disperse r_0017_0014__and->r_0017_0015__disperse [conj2] r_0017_0009__the_r_0017_0010__police the police r_0017_0012__issue->r_0017_0009__the_r_0017_0010__police [arg0] r_0017_0013__fines fines r_0017_0012__issue->r_0017_0013__fines [arg1] r_0017_0015__disperse->r_0017_0009__the_r_0017_0010__police [arg0] r_0017_0016__gatherings gatherings r_0017_0015__disperse->r_0017_0016__gatherings [arg1] 
arc(r_0017_0003__if, r_0017_0005__break, restriction).
arc(r_0017_0003__if, r_0017_0011__will, scope).
arc(r_0017_0005__break, r_0017_0004__people, arg0).
arc(r_0017_0005__break, r_0017_0006__the_r_0017_0007__rules, arg1).
arc(r_0017_0011__will, r_0017_0001__So, nim2).
arc(r_0017_0011__will, r_0017_0014__and, scope).
arc(r_0017_0012__issue, r_0017_0009__the_r_0017_0010__police, arg0).
arc(r_0017_0012__issue, r_0017_0013__fines, arg1).
arc(r_0017_0014__and, r_0017_0012__issue, conj1).
arc(r_0017_0014__and, r_0017_0015__disperse, conj2).
arc(r_0017_0015__disperse, r_0017_0009__the_r_0017_0010__police, arg0).
arc(r_0017_0015__disperse, r_0017_0016__gatherings, arg1).


%3 r_0017_0003__if if r_0017_0005__break break r_0017_0003__if->r_0017_0005__break [restriction] r_0017_0011__will will r_0017_0003__if->r_0017_0011__will [scope] r_0017_0004__people people r_0017_0005__break->r_0017_0004__people [arg0] r_0017_0006__the_r_0017_0007__rules the rules r_0017_0005__break->r_0017_0006__the_r_0017_0007__rules [arg1] r_0017_0001__So So r_0017_0011__will->r_0017_0001__So [nim] r_0017_0014__and and r_0017_0011__will->r_0017_0014__and [keep_scope] r_0017_0012__issue issue r_0017_0014__and->r_0017_0012__issue [conj1] r_0017_0015__disperse disperse r_0017_0014__and->r_0017_0015__disperse [conj2] r_0017_0009__the_r_0017_0010__police the police r_0017_0012__issue->r_0017_0009__the_r_0017_0010__police [arg0] r_0017_0013__fines fines r_0017_0012__issue->r_0017_0013__fines [arg1] r_0017_0015__disperse->r_0017_0009__the_r_0017_0010__police [arg0] r_0017_0016__gatherings gatherings r_0017_0015__disperse->r_0017_0016__gatherings [arg1] 
fof(formula,axiom,
    ! [R_17_5_BREAK,R_17_4_PEOPLE,R_17_6_THE_RULES] :
      ( ( people(R_17_4_PEOPLE)
        & the_rules(R_17_6_THE_RULES)
        & break(R_17_5_BREAK,R_17_4_PEOPLE,R_17_6_THE_RULES) )
     => ? [R_17_1_SO] :
          ( so(R_17_1_SO)
          & ? [R_17_14_AND,R_17_12_ISSUE,R_17_13_FINES,R_17_15_DISPERSE,R_17_9_THE_POLICE,R_17_16_GATHERINGS] :
              ( fines(R_17_13_FINES)
              & the_police(R_17_9_THE_POLICE)
              & gatherings(R_17_16_GATHERINGS)
              & and(R_17_14_AND)
              & conj1(R_17_14_AND,R_17_12_ISSUE)
              & issue(R_17_12_ISSUE,R_17_9_THE_POLICE,R_17_13_FINES)
              & conj2(R_17_14_AND,R_17_15_DISPERSE)
              & disperse(R_17_15_DISPERSE,R_17_9_THE_POLICE,R_17_16_GATHERINGS) ) ) ) ).


n17_a_johnson_letter n17_a_johnson_letter_4 So n17_a_johnson_letter_6 , n17_a_johnson_letter_9 if n17_a_johnson_letter_13 people n17_a_johnson_letter_15 break n17_a_johnson_letter_18 the n17_a_johnson_letter_20 rules n17_a_johnson_letter_22 , n17_a_johnson_letter_25 the n17_a_johnson_letter_27 police n17_a_johnson_letter_29 will n17_a_johnson_letter_34 issue n17_a_johnson_letter_37 fines n17_a_johnson_letter_40 and n17_a_johnson_letter_43 disperse n17_a_johnson_letter_46 gatherings n17_a_johnson_letter_48 . n17_a_johnson_letter_1 IP-MAT n17_a_johnson_letter_2 ADVP-NIM n17_a_johnson_letter_1->n17_a_johnson_letter_2 n17_a_johnson_letter_5 PUNC n17_a_johnson_letter_1->n17_a_johnson_letter_5 n17_a_johnson_letter_7 PP-SCON n17_a_johnson_letter_1->n17_a_johnson_letter_7 n17_a_johnson_letter_21 PUNC n17_a_johnson_letter_1->n17_a_johnson_letter_21 n17_a_johnson_letter_23 NP-SBJ n17_a_johnson_letter_1->n17_a_johnson_letter_23 n17_a_johnson_letter_28 MD;_cat_Vi_ n17_a_johnson_letter_1->n17_a_johnson_letter_28 n17_a_johnson_letter_30 IP-INF-CAT n17_a_johnson_letter_1->n17_a_johnson_letter_30 n17_a_johnson_letter_47 PUNC n17_a_johnson_letter_1->n17_a_johnson_letter_47 n17_a_johnson_letter_3 ADV n17_a_johnson_letter_2->n17_a_johnson_letter_3 n17_a_johnson_letter_3->n17_a_johnson_letter_4 n17_a_johnson_letter_5->n17_a_johnson_letter_6 n17_a_johnson_letter_8 P-CONN n17_a_johnson_letter_7->n17_a_johnson_letter_8 n17_a_johnson_letter_10 IP-ADV n17_a_johnson_letter_7->n17_a_johnson_letter_10 n17_a_johnson_letter_8->n17_a_johnson_letter_9 n17_a_johnson_letter_11 NP-SBJ n17_a_johnson_letter_10->n17_a_johnson_letter_11 n17_a_johnson_letter_14 VBP;_Tn_ n17_a_johnson_letter_10->n17_a_johnson_letter_14 n17_a_johnson_letter_16 NP-OB1 n17_a_johnson_letter_10->n17_a_johnson_letter_16 n17_a_johnson_letter_12 NS n17_a_johnson_letter_11->n17_a_johnson_letter_12 n17_a_johnson_letter_12->n17_a_johnson_letter_13 n17_a_johnson_letter_14->n17_a_johnson_letter_15 n17_a_johnson_letter_17 D n17_a_johnson_letter_16->n17_a_johnson_letter_17 n17_a_johnson_letter_19 NS n17_a_johnson_letter_16->n17_a_johnson_letter_19 n17_a_johnson_letter_17->n17_a_johnson_letter_18 n17_a_johnson_letter_19->n17_a_johnson_letter_20 n17_a_johnson_letter_21->n17_a_johnson_letter_22 n17_a_johnson_letter_24 D n17_a_johnson_letter_23->n17_a_johnson_letter_24 n17_a_johnson_letter_26 NS n17_a_johnson_letter_23->n17_a_johnson_letter_26 n17_a_johnson_letter_24->n17_a_johnson_letter_25 n17_a_johnson_letter_26->n17_a_johnson_letter_27 n17_a_johnson_letter_28->n17_a_johnson_letter_29 n17_a_johnson_letter_31 ILYR n17_a_johnson_letter_30->n17_a_johnson_letter_31 n17_a_johnson_letter_32 ILYR n17_a_johnson_letter_31->n17_a_johnson_letter_32 n17_a_johnson_letter_38 CONJP n17_a_johnson_letter_31->n17_a_johnson_letter_38 n17_a_johnson_letter_33 VB;_Tn_ n17_a_johnson_letter_32->n17_a_johnson_letter_33 n17_a_johnson_letter_35 NP-OB1 n17_a_johnson_letter_32->n17_a_johnson_letter_35 n17_a_johnson_letter_33->n17_a_johnson_letter_34 n17_a_johnson_letter_36 NS n17_a_johnson_letter_35->n17_a_johnson_letter_36 n17_a_johnson_letter_36->n17_a_johnson_letter_37 n17_a_johnson_letter_39 CONJ n17_a_johnson_letter_38->n17_a_johnson_letter_39 n17_a_johnson_letter_41 ILYR n17_a_johnson_letter_38->n17_a_johnson_letter_41 n17_a_johnson_letter_39->n17_a_johnson_letter_40 n17_a_johnson_letter_42 VB;_Tn_ n17_a_johnson_letter_41->n17_a_johnson_letter_42 n17_a_johnson_letter_44 NP-OB1 n17_a_johnson_letter_41->n17_a_johnson_letter_44 n17_a_johnson_letter_42->n17_a_johnson_letter_43 n17_a_johnson_letter_45 NS n17_a_johnson_letter_44->n17_a_johnson_letter_45 n17_a_johnson_letter_45->n17_a_johnson_letter_46 n17_a_johnson_letter_47->n17_a_johnson_letter_48 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (NS people;{people}))
                           (VBP;_Tn_ break;{break})
                           (NP-OB1;{RULES} (D the;{the})
                                           (NS rules;{rule}))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS police;{police}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ issue;{issue})
                                  (NP-OB1 (NS fines;{fine})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ disperse;{disperse})
                                         (NP-OB1 (NS gatherings;{gathering}))))))
          (PUNC .))
  (ID 17_a_johnson_letter))