rule generation machinery