17_a_johnson_letter
So, if people break the rules, the police will issue fines and disperse gatherings.
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).
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) ) ) ) ).
( (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))