expansion into Set-based relational descriptions