Assertion list for term "comprise fixed bar".

Results from Ascent++: 1
ring binder (subgroup of binder) CapableOfcomprise fixed bar 0.25