Assertion list
roof tile (subgroup of tile ) → CapableOf
Results from Ascent++: 1
roof tile → CapableOf → give superior roof 0.25