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_0011__will will r_0017_0014__and and r_0017_0011__will->r_0017_0014__and [keep_scope] r_0017_0001__So So r_0017_0011__will->r_0017_0001__So [nim] r_0017_0015__disperse disperse r_0017_0014__and->r_0017_0015__disperse [conj2] r_0017_0012__issue issue r_0017_0014__and->r_0017_0012__issue [conj1] r_0017_0016__gatherings gatherings r_0017_0015__disperse->r_0017_0016__gatherings [arg1] r_0017_0009__the_r_0017_0010__police the police r_0017_0015__disperse->r_0017_0009__the_r_0017_0010__police [arg0] 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_0005__break break 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_0004__people people r_0017_0005__break->r_0017_0004__people [arg0] r_0017_0003__if if r_0017_0003__if->r_0017_0011__will [scope] r_0017_0003__if->r_0017_0005__break [restriction] 
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__1_1_1_1 So n17_a_johnson_letter__1_2_1 , n17_a_johnson_letter__1_3_1_1 if n17_a_johnson_letter__1_3_2_1_1_1 people n17_a_johnson_letter__1_3_2_2_1 break n17_a_johnson_letter__1_3_2_3_1_1 the n17_a_johnson_letter__1_3_2_3_2_1 rules n17_a_johnson_letter__1_4_1 , n17_a_johnson_letter__1_5_1_1 the n17_a_johnson_letter__1_5_2_1 police n17_a_johnson_letter__1_6_1 will n17_a_johnson_letter__1_7_1_1_1_1 issue n17_a_johnson_letter__1_7_1_1_2_1_1 fines n17_a_johnson_letter__1_7_1_2_1_1 and n17_a_johnson_letter__1_7_1_2_2_1_1 disperse n17_a_johnson_letter__1_7_1_2_2_2_1_1 gatherings n17_a_johnson_letter__1_8_1 . n17_a_johnson_letter__1 IP-MAT n17_a_johnson_letter__1_1 ADVP-NIM n17_a_johnson_letter__1->n17_a_johnson_letter__1_1 n17_a_johnson_letter__1_2 PUNC n17_a_johnson_letter__1->n17_a_johnson_letter__1_2 n17_a_johnson_letter__1_3 PP-SCON n17_a_johnson_letter__1->n17_a_johnson_letter__1_3 n17_a_johnson_letter__1_4 PUNC n17_a_johnson_letter__1->n17_a_johnson_letter__1_4 n17_a_johnson_letter__1_5 NP-SBJ n17_a_johnson_letter__1->n17_a_johnson_letter__1_5 n17_a_johnson_letter__1_6 MD;_cat_Vi_ n17_a_johnson_letter__1->n17_a_johnson_letter__1_6 n17_a_johnson_letter__1_7 IP-INF-CAT n17_a_johnson_letter__1->n17_a_johnson_letter__1_7 n17_a_johnson_letter__1_8 PUNC n17_a_johnson_letter__1->n17_a_johnson_letter__1_8 n17_a_johnson_letter__1_1_1 ADV n17_a_johnson_letter__1_1->n17_a_johnson_letter__1_1_1 n17_a_johnson_letter__1_1_1->n17_a_johnson_letter__1_1_1_1 n17_a_johnson_letter__1_2->n17_a_johnson_letter__1_2_1 n17_a_johnson_letter__1_3_1 P-CONN n17_a_johnson_letter__1_3->n17_a_johnson_letter__1_3_1 n17_a_johnson_letter__1_3_2 IP-ADV n17_a_johnson_letter__1_3->n17_a_johnson_letter__1_3_2 n17_a_johnson_letter__1_3_1->n17_a_johnson_letter__1_3_1_1 n17_a_johnson_letter__1_3_2_1 NP-SBJ n17_a_johnson_letter__1_3_2->n17_a_johnson_letter__1_3_2_1 n17_a_johnson_letter__1_3_2_2 VBP;_Tn_ n17_a_johnson_letter__1_3_2->n17_a_johnson_letter__1_3_2_2 n17_a_johnson_letter__1_3_2_3 NP-OB1 n17_a_johnson_letter__1_3_2->n17_a_johnson_letter__1_3_2_3 n17_a_johnson_letter__1_3_2_1_1 NS n17_a_johnson_letter__1_3_2_1->n17_a_johnson_letter__1_3_2_1_1 n17_a_johnson_letter__1_3_2_1_1->n17_a_johnson_letter__1_3_2_1_1_1 n17_a_johnson_letter__1_3_2_2->n17_a_johnson_letter__1_3_2_2_1 n17_a_johnson_letter__1_3_2_3_1 D n17_a_johnson_letter__1_3_2_3->n17_a_johnson_letter__1_3_2_3_1 n17_a_johnson_letter__1_3_2_3_2 NS n17_a_johnson_letter__1_3_2_3->n17_a_johnson_letter__1_3_2_3_2 n17_a_johnson_letter__1_3_2_3_1->n17_a_johnson_letter__1_3_2_3_1_1 n17_a_johnson_letter__1_3_2_3_2->n17_a_johnson_letter__1_3_2_3_2_1 n17_a_johnson_letter__1_4->n17_a_johnson_letter__1_4_1 n17_a_johnson_letter__1_5_1 D n17_a_johnson_letter__1_5->n17_a_johnson_letter__1_5_1 n17_a_johnson_letter__1_5_2 NS n17_a_johnson_letter__1_5->n17_a_johnson_letter__1_5_2 n17_a_johnson_letter__1_5_1->n17_a_johnson_letter__1_5_1_1 n17_a_johnson_letter__1_5_2->n17_a_johnson_letter__1_5_2_1 n17_a_johnson_letter__1_6->n17_a_johnson_letter__1_6_1 n17_a_johnson_letter__1_7_1 ILYR n17_a_johnson_letter__1_7->n17_a_johnson_letter__1_7_1 n17_a_johnson_letter__1_7_1_1 ILYR n17_a_johnson_letter__1_7_1->n17_a_johnson_letter__1_7_1_1 n17_a_johnson_letter__1_7_1_2 CONJP n17_a_johnson_letter__1_7_1->n17_a_johnson_letter__1_7_1_2 n17_a_johnson_letter__1_7_1_1_1 VB;_Tn_ n17_a_johnson_letter__1_7_1_1->n17_a_johnson_letter__1_7_1_1_1 n17_a_johnson_letter__1_7_1_1_2 NP-OB1 n17_a_johnson_letter__1_7_1_1->n17_a_johnson_letter__1_7_1_1_2 n17_a_johnson_letter__1_7_1_1_1->n17_a_johnson_letter__1_7_1_1_1_1 n17_a_johnson_letter__1_7_1_1_2_1 NS n17_a_johnson_letter__1_7_1_1_2->n17_a_johnson_letter__1_7_1_1_2_1 n17_a_johnson_letter__1_7_1_1_2_1->n17_a_johnson_letter__1_7_1_1_2_1_1 n17_a_johnson_letter__1_7_1_2_1 CONJ n17_a_johnson_letter__1_7_1_2->n17_a_johnson_letter__1_7_1_2_1 n17_a_johnson_letter__1_7_1_2_2 ILYR n17_a_johnson_letter__1_7_1_2->n17_a_johnson_letter__1_7_1_2_2 n17_a_johnson_letter__1_7_1_2_1->n17_a_johnson_letter__1_7_1_2_1_1 n17_a_johnson_letter__1_7_1_2_2_1 VB;_Tn_ n17_a_johnson_letter__1_7_1_2_2->n17_a_johnson_letter__1_7_1_2_2_1 n17_a_johnson_letter__1_7_1_2_2_2 NP-OB1 n17_a_johnson_letter__1_7_1_2_2->n17_a_johnson_letter__1_7_1_2_2_2 n17_a_johnson_letter__1_7_1_2_2_1->n17_a_johnson_letter__1_7_1_2_2_1_1 n17_a_johnson_letter__1_7_1_2_2_2_1 NS n17_a_johnson_letter__1_7_1_2_2_2->n17_a_johnson_letter__1_7_1_2_2_2_1 n17_a_johnson_letter__1_7_1_2_2_2_1->n17_a_johnson_letter__1_7_1_2_2_2_1_1 n17_a_johnson_letter__1_8->n17_a_johnson_letter__1_8_1 
( (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))