"Rather, they are a language for efficiently describing certain kinds of relationships." . . . .