Describir: Qualitative reasoning about physical systems /