Assertion list
use (aspect of lithium ) → AtLocation

Results from Ascent++: 1
useAtLocation rechargeable batteries 0.72