type cardinality_condition =
| Eq of int
| Gt of int
+ | Lt of int
(** @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
+ * hypothesis and the number of different constants in body
* @return list of URI satisfying given constraints *)
val at_least:
dbd:Mysql.dbd ->
?concl_card:cardinality_condition ->
?full_card:cardinality_condition ->
+ ?diff:cardinality_condition ->
MetadataTypes.constr list ->
string list