The combination of the paradigms of shape algebras and predicate logic representations,used in a new method for describing designs, is presented. First order predicate logicprovides a natural, intuitive way of representing shapes and spatial relations