REXClassExpressionImpl getREXObjectMinCardinality(
			int cardinality, REXObjectPropertyExpressionImpl role,
			REXClassExpressionImpl filler) {
		// TODO Auto-generated method stub
		if(cardinality <= 0)
			return top;
		if(cardinality == 1)
			return getREXObjectSomeValuesFrom(role, filler);
		HashMap<REXObjectPropertyExpressionImpl, REXObjectMinCardinalityImpl> mins = filler.mins.get(cardinality);
		if(mins == null)
		{
			mins = new HashMap<REXObjectPropertyExpressionImpl, REXObjectMinCardinalityImpl>();
			filler.mins.put(cardinality, mins);
		}
		REXObjectMinCardinalityImpl newMin = mins.get(role);
		if(newMin == null)
		{
			newMin = new REXObjectMinCardinalityImpl(cardinality, role, filler);
			mins.put(role, newMin);
			newMin.getProperty().somes.put(newMin.getFiller(), newMin);
			//			classExpressions.add(newMin);
		}
		return newMin;
	}