It is trivially easy to create loops of rules when describing abstract properties.
Concrete properties tend to have "levels" to them, but many human concepts are self-referential.
In this way, its possible to spot that there may be an issue now or in the future, because the presence or lack of a loop depends on the specific choice of dependencies of a concept. However spotting the potential for a loop doesn't do a lot to help remove its potential existence, or show that it is there or not there.
It is trivially easy to create loops of rules when describing abstract properties.
Concrete properties tend to have "levels" to them, but many human concepts are self-referential.
In this way, its possible to spot that there may be an issue now or in the future, because the presence or lack of a loop depends on the specific choice of dependencies of a concept. However spotting the potential for a loop doesn't do a lot to help remove its potential existence, or show that it is there or not there.