On situation specification in context-aware robotics applications