Are flags a superset of property?
Are all trees non-degenerate?
The opposite of are(property, flags).
Are all trees valid patterns?
Are all trees statements?
Are all trees terms?