Assertion list
elm (primary) → HasA
Results from Ascent++: 1
elm → HasA → raw logs 0.39