Assertion list
overhaul (primary) → CapableOf
Results from Ascent++: 4
overhaul → CapableOf → come at time 0.25
overhaul → CapableOf → eliminate frequent spasms of sy… 0.25
overhaul → CapableOf → improve efficiency 0.25
overhaul → CapableOf → incorporate new grille 0.25