• Parsing Solutions
• 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 using atoms
• Properties of the relational atom
• More about atoms
• Extracting relational information programmatically using arguments