Automatically detecting the conflicts between software requirements based on finer semantic analysis