Assertion list
good translation (subgroup of translation ) → HasProperty
Results from Ascent++: 1
good translation → HasProperty → accurate 0.38