Ascent++ | be a power of 2

Assertion list for term "be a power of 2".

Results from Ascent++: 7

value → CapableOf → be a power of 2	0.54
size → CapableOf → be a power of 2	0.54
number (`aspect` of sequence) → CapableOf → be a power of 2	0.48
value (`aspect` of parameter) → CapableOf → be a power of 2	0.30
texture → CapableOf → be a power of 2	0.28
value (`aspect` of limit) → CapableOf → be a power of 2	0.25
value (`aspect` of variable) → CapableOf → be a power of 2	0.25