Assertion list for term "make alignment".

Results from Ascent++: 1
mercury CapableOfmake alignment 0.25