DRC Syntax: The Formal Grammar - Domain Relational Calculus | OneNoughtOne