Assertion list for term "consist of 6 prepotent bits".
Results from Ascent++: 1
error message (subgroup of message) → CapableOf → consist of 6 prepotent bits 0.16