La terminología también permite incluir jerarquía de roles formula_62 donde los axiomas son de la forma: