Assertion list
police car (subgroup of car ) → HasProperty
Results from Ascent++: 2
police car → HasProperty → fast 0.56
police car → HasProperty → white 0.41