Translating a Rule from
(Daml)RuleML to Jess