Property:Guide use of existential versus universal quantification in class restrictions comments

This is a property of type Has type::Text. It represents explanatory text for another property.