Assertion list
vehicle registration (subgroup of registration ) → HasProperty
Results from Ascent++: 1
vehicle registration → HasProperty → valid 0.25