Assertion list
auctioneer (primary) → DefinedAs
Results from Ascent++: 1
auctioneer → DefinedAs → as posted 0.29