Supplemental data for submission "Bridging between LegalRuleML and TPTP for Automated Normative Reasoning"

These files are supplementary material to the submission<br> Bridging between LegalRuleML and TPTP for Automated Normative Reasoning<br> by<br> Alexander Steen and David Fuenmayor<br> submitted to the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), 2022. Files ex1.lrml.xml and ex2.lrml.xml are two example LegalRuleML files.<br> Files ex1.dsl.p and ex2.dsl.p are two examples from above translated to the NMF DSL.<br> The files ex1.output.X.p and ex2.output.X.p are the translations of the NMF files into the concrete logic X (X = SDL or X = cJ (Carmo Jones) or X = aqvist (system E)). Alexander Steen, &lt;[e-mail]&gt;