In case no favorable hits were found for a given query, we should be able to do "query expansion" and find similar results (which share some, but not all of the CMML structure).
This can be done by using the Schematizer to reduce a formula to a query with qvars.
In case no favorable hits were found for a given query, we should be able to do "query expansion" and find similar results (which share some, but not all of the CMML structure).
This can be done by using the Schematizer to reduce a formula to a query with qvars.