Assertion list for term "hold at 0.6770".

Results from Ascent++: 1
support CapableOfhold at 0.6770 0.36