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.