[Verse 1]
Born in Zurich back in ninety-five
A controlled language came alive
English words but structured tight
ACE translates to logic bright
Not like SBVR's business rules
ACE is formal, grammar's tools
First-order logic is the goal
Through DRS it finds its soul
[Chorus]
ACE is what it is, what it is
Controlled English that makes sense
Every sentence has its place
In the formal logic space
ACE is what it is, what it is
Natural language with a twist
Parse it through the APE machine
Make your management controls clean
[Verse 2]
If a system stores sensitive data then
It must use encryption, say it again
AES two-fifty-six is the way
Every sentence follows formal display
Every user who requests access now
Must be authenticated, here's how
Identity management takes the lead
Structured language meets the need
[Chorus]
ACE is what it is, what it is
Controlled English that makes sense
Every sentence has its place
In the formal logic space
ACE is what it is, what it is
Natural language with a twist
Parse it through the APE machine
Make your management controls clean
[Bridge]
Discourse Representation Structures bridge the gap
From English text to logic map
APE parsing engine reads each line
Converts to OWL or SWRL design
It is not the case that code deploys
If approval is what it destroys
Change advisory board must say yes
Before production, nothing less
[Verse 3]
Attempto Parsing Engine takes the wheel
Makes the formal structure real
From DRS to logic forms
Following all the grammar norms
Management controls get crystal clear
When ACE syntax draws them near
University of Zurich's gift
Natural and formal language shift
[Chorus]
ACE is what it is, what it is
Controlled English that makes sense
Every sentence has its place
In the formal logic space
ACE is what it is, what it is
Natural language with a twist
Parse it through the APE machine
Make your management controls clean
[Outro]
ACE is what it is
Making logic from English words
ACE is what it is
Formal language that's clearly heard