Code:
Lebewesen > Mensch > Mann > Frank
> Daniel
> Frau
> Hund > Pudel
> Dackel
var X: Mensch;
Y: Lebewesen;
Procedure Toilette(Tür: Mann);
In X passen also nur Menschen, Männer und Frauen rein
und in Y dagegen auch noch die Tiere.
Auf dieses Klo dürfen auch NUR die Männer und demnach geht sozusagen Folgendes:
Toilette(Frank);
bei dem
Toilette(Mensch);
könnte es sich eventuell auch um eine Frau handeln und wer möchte denn, daß die uns was abguckt?