Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)