Assertion list for term "four tires".

Results from Ascent++: 1
definition HasAfour tires 0.47