Assertion list
martyr (primary) → HasA
Results from Ascent++: 1
martyr → HasA → just one wish 0.32