Assertion list
waiter (primary) → HasPrerequisite
Results from Ascent++: 1
waiter → HasPrerequisite → more training 0.29