An environment for cooperative construction of natural-language requirements bases