Assertion list
parking brake (primary) → HasProperty
Results from Ascent++: 2
parking brake → HasProperty → faulty 0.26
parking brake → HasProperty → standard 0.25