a little sugar might be nice:

```
if not all(r[k].has(t) for k in 'a1 a2 b1 b2 c1 c2'.split()):
```