Pro přesnější popis významu některých doplnění jsou zavedeny dva atributy:
atribut subfunctor (viz 6.13.1 - "Subfunktory");
subfunctor
atribut is_state (viz 6.13.2 - "Atribut pro význam "stavu"").
is_state