Automatic detection of nocuous coordination ambiguities in natural language requirements | Synapse