Assertion list
drop (primary) → IsA
Results from Ascent++: 2
drop → IsA → place 0.36
drop → IsA → perfect place 0.16