Assertion list

vehicle manufacturer (subgroup of manufacturer ) → HasProperty