Assertion list
menagerie (primary) → HasA
Results from Ascent++: 5
menagerie → HasA → armadillo 0.16
menagerie → HasA → fire ants 0.16
menagerie → HasA → over 15 horses 0.16
menagerie → HasA → red bugs 0.16
menagerie → HasA → wild hogs 0.16