  The ModelWriter platform provides a generic framework for automated
traceability analysis. In this paper, we demonstrate how this framework can be
used to trace the consistency and completeness of technical documents that
consist of a set of System Installation Design Principles used by Airbus to
ensure the correctness of aircraft system installation. We show in particular,
how the platform allows the integration of two types of reasoning: reasoning
about the meaning of text using semantic parsing and description logic theorem
proving; and reasoning about document structure using first-order relational
logic and finite model finding for traceability analysis.
