This paper presents the work of the TARA (Tool Assisted Requirements Analysis) project on the re-use of formatted specifications. The paper concentrates particularly on the established formatted requirements analysis method CORE (Controlled Requirements Expression). A model of re-use of formatted requirements specifications, derived in part from studies of analogy in legal reasoning, is presented. The model and its application to CORE is described in detail with a worked example based on standard specification case studies. A prototype tool, TRUE, constructed on the basis of the model is described.