Rule Application

Synopsis: rule tacletname on=<TERM> formula=<TERM> occ=<INT>

Rule keyword can be ommited

Arguments: