[WSML keyword] wsml#maxCardinality [WSML keyword_2] wsml#postcondition [3] Used to type a postcondition and to bind it to a capability. [1] 
Used as predicate to defined the maximal cardinality of an attribute.