This might be hard to implement.
There are many natural functions from topological spaces to the set or cardinals: weight, cardinality, density, etc.
Its quite unpractical to use, for each cardinal, properties of the form "cellularity > \omega_43", etc.
Maybe the search engine could have "special symbols" for cardinals that could manage all those cases as one. And could decide for two cardinals which is lower/higher (if it is possible.)
The general case is quite hard, but I think we can make some good steps in this direction - certainly something better than "cardinality < 2^c" being treated as a boolean property.
This might be hard to implement. There are many natural functions from topological spaces to the set or cardinals: weight, cardinality, density, etc. Its quite unpractical to use, for each cardinal, properties of the form "cellularity > \omega_43", etc. Maybe the search engine could have "special symbols" for cardinals that could manage all those cases as one. And could decide for two cardinals which is lower/higher (if it is possible.)