Generator: respect cardinalities (except +)