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_0017_0005__BREAK,R_0017_0004__PEOPLE,R_0017_0006__THE_R_0017_0007__RULES] :
      ( ( r_0017_0004__people(R_0017_0004__PEOPLE)
        & r_0017_0006__the_r_0017_0007__rules(R_0017_0006__THE_R_0017_0007__RULES)
        & r_0017_0005__break(R_0017_0005__BREAK)
        & has_arg1(R_0017_0005__BREAK,R_0017_0006__THE_R_0017_0007__RULES)
        & has_arg0(R_0017_0005__BREAK,R_0017_0004__PEOPLE) )
     => ? [R_0017_0001__SO,R_0017_0009__THE_R_0017_0010__POLICE,R_0017_0013__FINES,R_0017_0012__ISSUE,R_0017_0016__GATHERINGS,R_0017_0015__DISPERSE,R_0017_0014__AND,R_0017_0011__WILL] :
          ( r_0017_0001__So(R_0017_0001__SO)
          & r_0017_0009__the_r_0017_0010__police(R_0017_0009__THE_R_0017_0010__POLICE)
          & r_0017_0013__fines(R_0017_0013__FINES)
          & r_0017_0016__gatherings(R_0017_0016__GATHERINGS)
          & r_0017_0011__will(R_0017_0011__WILL)
          & has_keep_scope(R_0017_0011__WILL,R_0017_0014__AND)
          & r_0017_0014__and(R_0017_0014__AND)
          & has_conj2(R_0017_0014__AND,R_0017_0015__DISPERSE)
          & r_0017_0015__disperse(R_0017_0015__DISPERSE)
          & has_arg1(R_0017_0015__DISPERSE,R_0017_0016__GATHERINGS)
          & has_arg0(R_0017_0015__DISPERSE,R_0017_0009__THE_R_0017_0010__POLICE)
          & has_conj1(R_0017_0014__AND,R_0017_0012__ISSUE)
          & r_0017_0012__issue(R_0017_0012__ISSUE)
          & has_arg1(R_0017_0012__ISSUE,R_0017_0013__FINES)
          & has_arg0(R_0017_0012__ISSUE,R_0017_0009__THE_R_0017_0010__POLICE)
          & has_nim2(R_0017_0011__WILL,R_0017_0001__SO) ) ) ).


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))