The derived sequence particle at ({0}, {1}) is not a valid restriction of the base choice particle at ({2}, {3}) according ...