Text this: Automated generation of consistent models using qualitative abstractions and exploration strategies.