// Define an axiomatic rule to include in the rule parser test @prefix p: -> (p:a p:a p:a).