Re: [rules-users] how to convert drl to dsl