Ascent++ | round down in bit round-down process

Assertion list for term "round down in bit round-down process".

Results from Ascent++: 1

value (aspect of correlation) → CapableOf → round down in bit round-down process 0.25