A rule is imperative and logically executable.

规则是强制性的且在逻辑上是可执行的。