Property:Choose formal logic language comments

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