Reasoning About Obligations in Obligationes: A Formal Approach