Assertion list
gerbil (primary) → HasA
Results from Ascent++: 2
gerbil → HasA → broken bone 0.42
gerbil → HasA → water 0.25