• Parsing Expressions
• Prepare the system of inequalities to be solved
• (1) If you want to view the solution
• (2) If you want to programmatically extract information from the solution:
• Extracting relational information programmatically
• Properties of the relational atom
• More about atoms