Assertion list
body (aspect of rat ) → AtLocation

Results from Ascent++: 1
bodyAtLocation ketosis 0.25