[Verse 1]
When legal text meets digital code
There's a bridge we need to build this road
Not just any markup language will do
We need something that thinks like lawyers too
LegalRuleML steps into the light
An OASIS standard burning bright
Machine readable but legally sound
Four pillars keep it safe and bound
[Chorus]
D-T-D-I, remember these four
Defeasible rules can be overridden for sure
Temporal changes as time moves along
Deontic modality keeps right from wrong
Isomorphic structure mirrors the source
LegalRuleML stays true to legal discourse
D-T-D-I, the foundation is strong
Four characteristics singing this song
[Verse 2]
Defeasibility means rules can bend
Higher priorities can make them end
Not like code that's rigid black and white
Legal reasoning has shades of light
What was valid yesterday may change
Temporal aspects help us rearrange
Rules evolve as statutes get revised
Time stamps keep the logic organized
[Chorus]
D-T-D-I, remember these four
Defeasible rules can be overridden for sure
Temporal changes as time moves along
Deontic modality keeps right from wrong
Isomorphic structure mirrors the source
LegalRuleML stays true to legal discourse
D-T-D-I, the foundation is strong
Four characteristics singing this song
[Bridge]
Obligations tell you what you must do
Permissions show what you're allowed to pursue
Prohibitions mark the forbidden zone
Deontic logic makes these meanings known
The structure mirrors original text
Isomorphism keeps lawyers and coders connected
[Verse 3]
OASIS blessed this standard's design
For management controls that work in line
With how the legal world really thinks
Bridging that gap between missing links
From courtroom reasoning to software rules
LegalRuleML gives us the right tools
[Chorus]
D-T-D-I, remember these four
Defeasible rules can be overridden for sure
Temporal changes as time moves along
Deontic modality keeps right from wrong
Isomorphic structure mirrors the source
LegalRuleML stays true to legal discourse
D-T-D-I, the foundation is strong
Four characteristics singing this song
[Outro]
When formal languages need legal grace
LegalRuleML finds its rightful place
Four pillars holding strong and true
D-T-D-I will carry you through