TSPC 17_a_johnson

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

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,nim).
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_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_nim(R_0017_0011__WILL,R_0017_0001__SO) ) ) ).