BUR #6422 has been approved by @evazion.
create implication blue-tinted_eyewear -> tinted_eyewear
create implication green-tinted_eyewear -> tinted_eyewear
create implication brown-tinted_eyewear -> tinted_eyewear
create implication orange-tinted_eyewear -> tinted_eyewear
create implication pink-tinted_eyewear -> tinted_eyewear
create implication purple-tinted_eyewear -> tinted_eyewear
create implication red-tinted_eyewear -> tinted_eyewear
create implication yellow-tinted_eyewear -> tinted_eyewear
Subsets.