Title: The SEGRAS Syntax