rule r{condition:for all e in r(for all n