The Alloy Language and Tools
sfre_discourse