Text this: Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding