[Verse 1]
We've got natural language that humans can read
Business folks can write policies they need
But machines can't parse what the words really mean
Ambiguity hiding in every scene
SBVR tries to bridge this divide
Structured English with logic inside
But when deadlines and frequencies come into play
The temporal reasoning starts to fray
[Chorus]
Six properties we're reaching for
But no single language gives us more
Human readable, formal and clean
Deontic logic, temporal machine
Executable code that can verify
Generated documents that satisfy
We're combining tools but the gap remains
No one language holds all the reins
[Verse 2]
Deontic logic speaks of what must be
Obligations, permissions flowing free
But try to read it without a degree
The symbols and syntax aren't user-friendly
ACE makes controlled English shine
Every sentence maps to logic fine
Yet when audit time comes around
Document generation can't be found
[Chorus]
Six properties we're reaching for
But no single language gives us more
Human readable, formal and clean
Deontic logic, temporal machine
Executable code that can verify
Generated documents that satisfy
We're combining tools but the gap remains
No one language holds all the reins
[Bridge]
OSCAL handles interchange with grace
Rego and Cedar enforce in their space
But chain these tools and complexity grows
Each handoff point is where error flows
We need one language that does it all
But perfect solutions haven't made the call
[Chorus]
Six properties we're reaching for
But no single language gives us more
Human readable, formal and clean
Deontic logic, temporal machine
Executable code that can verify
Generated documents that satisfy
We're combining tools but the gap remains
No one language holds all the reins
[Outro]
The quest continues for that perfect tongue
Where business and logic are perfectly strung
Until that day we'll combine what we've got
Six properties achieved, but unified not