'a is a' is a kind of an obvious relationship