  LegalRuleML is a comprehensive XML-based representation framework for
modeling and exchanging normative rules. The TPTP input and output formats, on
the other hand, are general-purpose standards for the interaction with
automated reasoning systems. In this paper we provide a bridge between the two
communities by (i) defining a logic-pluralistic normative reasoning language
based on the TPTP format, (ii) providing a translation scheme between relevant
fragments of LegalRuleML and this language, and (iii) proposing a flexible
architecture for automated normative reasoning based on this translation. We
exemplarily instantiate and demonstrate the approach with three different
normative logics.
