;; Rename this rule so we can generate with semicolons for OpenProof, without
;; figuring out how to rein them in more generally in generation
;;
w_semicol_plr := never_unify_rule.

;; Block informal comma to avoid unwanted ambiguity in generation
w_comma-nf_plr := never_unify_rule.

w_semicol-op_plr :=
%suffix (!. !.;)
punctuation_semicol_rule &
 [ RNAME lpsc ].

w_qmark-period_plr := never_unify_rule.