Assertion list
piggy bank (primary) → HasA
Results from Ascent++: 1
piggy bank → HasA → a rubber plug 0.38