Feature cardinalities in feature diagrams determine the number of times a feature and its subtree can be duplicated during con-guration by an operation named \cloning". Other authors already investigated the problem and published di-erent proposals of semantics for this construct.
However, this previous work is not easily amenable to the formal study of the various properties of feature diagrams and their derived con-gurations. Also, cross-tree constraint languages still need to be properly extended to account for
This paper presents an extension of an earlier formal semantics of feature diagrams by adding support for feature cardinalities.