Assertion list
agora (primary) → IsA
Results from Ascent++: 1
agora → IsA → marketplace 0.25