Verification of Safety Rules using NLP