An ideal functional reasoning environment should support designs of any nature, routine or innovative, at any level of detail, as well as through varying levels of detail. In this paper, three existing functional reasoning models are reviewed in this perspective. It has been found that none of these models support all of these requirements. It has been shown that a functional reasoning approach cannot guarantee the generation of solution concepts, which are combinations of known solutions, unless guided by the knowledge of existing solutions. A new model which can support design both across a level of detail and down through levels of detail has been proposed, which, using a divide and rule approach and using recursive problem redefinition while incorporating existing solutions, could support conceptual design. It is also shown that, although the generation of completely new solutions is not supported by the model, the model, when aided by a framework allowing a sustained progress of its knowledge base b y transfer of knowledge from existing designs in the form of basic structures and rules of combination, could support generation of designs which otherwise would be considered unsupportable in a systematic way (innovative). © 2001 Elsevier Science Ltd. All rights reserved.