Assertion list
roof tile (subgroup of tile ) → HasProperty
Results from Ascent++: 2
roof tile → HasProperty → flat 0.47
roof tile → HasProperty → round 0.47