§2.5.(b) Relevant roles

A team must be marked abstract if one of its relevant roles is abstract.
A role is relevant in this sense if

If neither property, relevance nor irrelevance, can be shown for an abstract role, a warning is given in case the enclosing team is not abstract.