NumberOfDoors
type: NumConfigOption
max: 5
min: 3

FamilyConstradicts3Doors
type: ContradictingConstraint
assignment a:
  is: FamilyEdition
  option: Edition
assignment b:
  is: 3
  option: NumberOfDoors

Car4
type: CarConfigSet
has configuration:
  is: FamilyEdition
  option: Edition
has configuration:
  is: 5
  option: NumberOfDoors

CarX
type: CarConfigSet
has configuration:
  is: WithHitch
  option: Engine
has configuration:
  is: SportsEdition
  option: Hitch
has configuration:
  is: 99
  option: NumberOfDoors

Car3
type: CarConfigSet
has configuration:
  is: FamilyEdition
  option: Edition
has configuration:
  is: 3
  option: NumberOfDoors

Anhängerkupplung nicht mit kleinem Motor
type: ContradictingConstraint
assignment a:
  is: WithHitch
  option: Hitch
assignment b:
  is: SmallEngine
  option: Engine

Constraint
type: Class
color: orange

ConfigOption
type: Class
color: #80ccff