Assertion list
car door (primary) → HasA
Results from Ascent++: 1
car door → HasA → airbag 0.16