Assertion list
ignition interlock device (subgroup of device ) → HasProperty

Results from Ascent++: 1
ignition interlock deviceHasProperty effective 0.25