Extracting domain models from natural-language requirements | Synapse