We need to add a module to compute the following facts: isOn isIn isNextTo isReachable isVisible
We need to add a module to compute the following facts:
isOn
isIn
isNextTo
isReachable
isVisible