Assertion list
body (aspect of bat ) → HasProperty
Results from Ascent++: 2
body → HasProperty → cold 0.49
body → HasProperty → small 0.25