On Situation Specification in Context-Aware Robotics Applications