Assertion list
bat (primary) → HasPrerequisite
Results from Ascent++: 3
bat → HasPrerequisite → time 0.53
bat → HasPrerequisite → protection 0.37
bat → HasPrerequisite → extreme high and low temperatur… 0.25