04 Try it yourself Interactive

Place five employees under two different constraint pairs

The same five people from section 02, and the same three subclasses, run twice. Disjoint + total is the strictest of the four pairs: exactly one subclass each. Overlapping + partial is the weakest: any number, including none. Each step shows the employee’s full attribute set, so you can see which attributes are inherited and which are declared rather than take it on trust. Nothing plays on its own: Next, Back and Reset, or the arrow keys.

Disjoint + total
d · double line · exactly one subclass
The left card is the superclass and holds the attributes every subclass inherits. The three cards after it are the subclasses; indigo marks the ones this employee needs, whether or not the pair on this tab allows it. Watch the two counters in the middle come apart, or stay locked together.
Press Next to begin. Each press offers one employee to the diagram.


      
Employees offered
Subclass memberships
Accepted0
Refused0
step 0 / 0