cardcon.addConstraint(new BoundConstraint(null, samegoals)); FunctionCall fc_num = new FunctionCall(new Length(), new Object[]{samegoals}); FunctionCall fc_numcard = new FunctionCall(new OperatorFunction(IOperator.GREATEROREQUAL), new Object[]{fc_num, cardinality}); cardcon.addConstraint(new PredicateConstraint(fc_numcard));