Assertion list
new translation (subgroup of translation ) → HasProperty
Results from Ascent++: 4
new translation → HasProperty → necessary 0.46
new translation → HasProperty → good 0.38
new translation → HasProperty → complete 0.25
new translation → HasProperty → accurate 0.16