Por ejemplo, el operador N no puede ser expresado en la "Temporal Logic of Actions".