Assertion list
different dialect (subgroup of dialect ) → HasProperty
Results from Ascent++: 1
different dialect → HasProperty → troublesome 0.59