Another use case: verifying natural language requirements. As an example: http://slra1.baselines.cloud