Assertion list
body (aspect of dog ) → AtLocation
Results from Ascent++: 6
body → AtLocation → space 0.41
body → AtLocation → canal 0.25
body → AtLocation → the river 0.25
body → AtLocation → balance 0.24
body → AtLocation → mess 0.19
body → AtLocation → healthiest 0.16