To make this possible, we have to use inequalities, that is, Values of the form '> α' or '< α', instead of Values of the form '= α'.
we compile the KB into a more elaborate form by replacing equalities by inequalities of the form size(x) > α or size(x) < α.