Rule Maker

Expressions of obligation, permission or encouragement constitute a distinct class of data of the type:

IS + RULE ⟾ OUGHT.

Use Rule Maker to author rules-as-data in a way that is directly usable by anyone and by any platform, for any purpose, in any language.