Language Feature Cardinality constraints

Name Cardinality constraints
Description Logic program contains Lparse-style cardinality constraints of form:

lower {A1, ..., An} upper
Compatible Languages