Heavyweight Semantic Inducement for Requirement Elicitation and Analysis