[Verse 1]
When you think formal logic's the answer to all
Don't rush to use it everywhere you call
Policy documents need human readable text
Not logical symbols that leave readers perplexed
[Chorus]
Not useful here, not useful there
Three places where you should beware
Direct authoring isn't right
Communication loses sight
When expertise is nowhere found
Your formal language won't be sound
[Verse 2]
Your compliance team knows business rules and law
But formal logic training they never saw
Without that background they'll struggle to write
In languages that need mathematical sight
[Chorus]
Not useful here, not useful there
Three places where you should beware
Direct authoring isn't right
Communication loses sight
When expertise is nowhere found
Your formal language won't be sound
[Verse 3]
Business stakeholders need to understand
What you're requiring throughout their land
Auditors and regulators want clear prose
Not formal symbols that nobody knows
[Bridge]
Controlled natural languages bridge the gap
Between formal logic and communication trap
They translate meaning both ways clean
Human readable yet machine
[Chorus]
Not useful here, not useful there
Three places where you should beware
Direct authoring isn't right
Communication loses sight
When expertise is nowhere found
Your formal language won't be sound
[Outro]
Know when to use and when to wait
Formal languages have their place and date
But policy docs need human touch
Don't overcomplicate too much