[Verse 1]
Behind the screens where coders craft their midnight spells
Deontic logic weaves the rules that software tells
Obligations, permissions, prohibitions crystalline
The formal backbone where compliance meets design
[Chorus]
Where legal meets our coding dreams
Deontic holds the binding seams
Must and may and must not flow
Through compiled commands below
Hidden engine, formal core
What our natural language answers for
[Verse 2]
Multi-agent systems dance with normative constraint
Each autonomous actor learns what rules they can't break
Academic papers map organizational law
To operators that machines can execute without flaw
[Chorus]
Where legal meets our coding dreams
Deontic holds the binding seams
Must and may and must not flow
Through compiled commands below
Hidden engine, formal core
What our natural language answers for
[Verse 3]
The EU took their GDPR and carved it into code
Using modal operators down a deontic road
Not for users typing queries in their native tongue
But semantic target language where precision gets sung
[Bridge]
Controlled natural language reads like human speech
But underneath the parser knows what meanings it can reach
Deontic logic waits beneath the friendly interface
Translating should and shall to mathematical embrace
[Chorus]
Where legal meets our coding dreams
Deontic holds the binding seams
Must and may and must not flow
Through compiled commands below
Hidden engine, formal core
What our natural language answers for
[Outro]
Foundation stone, not surface bright
Formal semantics burning bright
Legal logic, coded true
Deontic bridges me and you