Assertion list
characteristic (aspect of engine ) → HasProperty
Results from Ascent++: 1
characteristic → HasProperty → essential 0.63