An OPS5 implementation of qualitative reasoning about physical systems