A specification of a plan recognition problem involving cops and robbers. The cops have to infer the robbers movements.