4.3. An Example, part 2: Asserting new information

Tell Cassie some information about a course in the CSE department:

(describe (assert department CSE division undergrad number 115
                  name "Introduction to Computer Science for Majors I"
                  credits 4) = cse115)