The main part of a feature model is a special tree of ... this semantics provides a poor abstract view of the diagram. We address this problem by proposing another multiset theory for the diagram, ...