?concl_card:cardinality_condition ->
?full_card:cardinality_condition ->
?diff:cardinality_condition ->
?rating:rating_criterion ->
MetadataTypes.constr list ->
?concl_card:cardinality_condition ->
?full_card:cardinality_condition ->
?diff:cardinality_condition ->
?rating:rating_criterion ->
MetadataTypes.constr list ->