Assertion list
power (aspect of vampire ) → HasProperty
Results from Ascent++: 3
power → HasProperty → active 0.25
power → HasProperty → effective 0.25
power → HasProperty → strong 0.16