Assertion list
windshield (primary) → HasPrerequisite
Results from Ascent++: 2
windshield → HasPrerequisite → replacement 0.42
windshield → HasPrerequisite → repair 0.39