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