Capturing Implied Requirements