Assertion list
good translation (subgroup of translation ) → CapableOf
Results from Ascent++: 1
good translation → CapableOf → remain faithful 0.25