Qualitative Reasoning about the Physical World (QSIM)
