ReadGlim
A Qualitative Model for Reasoning about Path and Support — ReadGlim