REXClassExpressionImpl getREXObjectMaxCardinality(
			int cardinality,
			REXObjectPropertyExpressionImpl role,
			REXClassExpressionImpl filler) {
		// TODO Auto-generated method stub
		REXClassExpressionImpl min = getREXObjectMinCardinality(cardinality+1,role,filler);
		REXClassExpressionImpl max = min.complement;
		if(max == null)
		{
			max = getREXObjectComplementOf(min);
			min.LHS();
		}
		return max;
	}