Assertion list for term "halt".

Results from Ascent++: 1
train HasAhalt 0.52