I desperately want to be able to aggregate over a relation's boolean properties. Ideally, the functions available would be 'any', 'all', 'none'

This would be so powerful. I could for example track on a Snyk Target, whether any of the many projects are Snyk Code projects. Thus I could summarise the presence or absence of a security control at the service level, and report this on a dashboard