A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships