Assertion list for term "wait in repair shops".

Results from Ascent++: 1
time (aspect of seal) CapableOfwait in repair shops 0.52