制約　トップレベル