public boolean hasMax(int n, REXObjectPropertyExpressionImpl role)
	{
		if(maxs.containsKey(n) && maxs.get(n).containsKey(role))
			return true;
		if(mins.containsKey(n+1) && mins.get(n+1).containsKey(role) && mins.get(n+1).get(role).complement != null)
			return true;
		return false;
	}