[Verse 1] Managers dream of a language divine That speaks to both humans and machine Readable words for the boardroom floor Yet formal enough for digital core But every attempt falls short of the mark Six properties gleaming beyond our arc [Chorus] Six properties we can't reach, no single tongue speaks them all Human readable, formal semantics when logic makes the call Deontic powers, temporal towers, executability's might Document generation's creation — six pillars of the light We chase perfection through reflection, but the grail remains unseen Six properties we can't reach in one linguistic machine [Verse 2] SBVR whispers in natural prose While deontic logic precisely knows What's forbidden, what's required, what's allowed But temporal reasoning gets lost in the crowd Deadlines and frequencies drift away When formal semantics come out to play [Chorus] Six properties we can't reach, no single tongue speaks them all Human readable, formal semantics when logic makes the call Deontic powers, temporal towers, executability's might Document generation's creation — six pillars of the light We chase perfection through reflection, but the grail remains unseen Six properties we can't reach in one linguistic machine [Bridge] OSCAL handles interchange with grace While Rego and Cedar enforce in cyberspace But readability fades when code takes command And temporal logic slips through programmer's hand We patch and we bridge across the divide Multiple languages standing side by side [Verse 3] Obligations dancing with permissions free Prohibitions weaving through policy Exceptions tumbling through the rule cascade While audit documents must still be made Each property precious, each feature bright But unified vision remains out of sight [Chorus] Six properties we can't reach, no single tongue speaks them all Human readable, formal semantics when logic makes the call Deontic powers, temporal towers, executability's might Document generation's creation — six pillars of the light We chase perfection through reflection, but the grail remains unseen Six properties we can't reach in one linguistic machine [Outro] So we combine and we bridge the semantic gap Multiple tools in our management map Until someone builds what we've never achieved Six properties unified, finally conceived
← Deontic Dreams and Business Schemes | Seven Sources Make It Whole →