Assertion list for term "run on 2 x d batteries".

Results from Ascent++: 1
candle CapableOfrun on 2 x d batteries 0.21