Assertion list
body (aspect of cat ) → AtLocation
Results from Ascent++: 2
body → AtLocation → guatemala 0.25
body → AtLocation → balance 0.16