I am talking about the polymorphic use of the verb "is" during the process of formalization. "Red is a color" can be formalized as "Red is a type of color" or

I am talking about the polymorphic use of the verb "is" during the process of formalization. "Red is a color" can be formalized as "Red is a type of color" or "Red is member of set Colors". You can't formalize "Color is red" because it doesn't mean anything. When I say "Parsing is validation" I am using the verb "is" to mean an isomorphism.