student(1234, 'Jo Frosh', []).
student(4321, 'Jane Roe', [cs320 = a,cs202 - a,cs201 + b,cs125 = c]).
student(3421, 'John Doe', [cs201 + c]).