Syntax Variables, Types and Files Boolean Expressions Integer and Real Expressions Functions Structures and Instances Classes and Instances Other Expressions: If Then Else, Quantifiers Expressions, ... Search: Solve, Minimize, Maximize