Assertion list
body (aspect of bat ) → HasPrerequisite
Results from Ascent++: 1
body → HasPrerequisite → darkness 0.49