Abstract In product development, it is of great importance that a complete, unambiguous, and, as far possible, contradiction-free target system defined. Requirements documents complex systems can contain several thousand individual requirements, derived in an interdisciplinary manner and written natural language by many different stakeholders. Hence, errors, the form contradictions, cannot be c...