Reasoning about Attribute Architectures