| Gt of int
| Lt of int
+type rating_criterion =
+ [ `Hits (** order by number of hits, most used objects first *)
+ ]
+
(** @param concl_card cardinality condition on conclusion only
* @param full_card cardinality condition on the whole statement
* @param diff required difference between the number of different constants in
?concl_card:cardinality_condition ->
?full_card:cardinality_condition ->
?diff:cardinality_condition ->
+ ?rating:rating_criterion ->
MetadataTypes.constr list ->
string list