Assertion list for term "prime hot tubes".

Results from Ascent++: 1
chauffeur CapableOfprime hot tubes 0.28