On the formal representation of rights relations