Assertion list
gar (primary) → HasProperty
Results from Ascent++: 1
gar → HasProperty → active 0.38