Similar Items: Neurosymbolic Auditing of Natural-Language Software Requirements