This paper examines diagrams which exploit qualitative spatial relations (QSRs) for representation. Our point of departure is the theory that such diagram systems are most effective when their formal properties match those of the domains that they represent (e.g. [1,2,3]). We argue that this is true in certain cases (e.g. when a user is constructing diagrammatic representations of a certain kind) but that formal properties cannot be studied in isolation from an account of the cognitive capacities of diagram users to detect and categorize diagram objects and relations.