A notation of the form 
![\begin{array}{l} S ~\mathrm{covers}~ T \\[2pt] S ~\mathrm{governs}~ T \\[2pt] S ~\mathrm{rules}~ T \\[2pt] S ~\mathrm{subsumes}~ T \\[2pt] S ~\mathrm{types~over}~ T \end{array}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Bl%7D++S+%7E%5Cmathrm%7Bcovers%7D%7E+T++%5C%5C%5B2pt%5D++S+%7E%5Cmathrm%7Bgoverns%7D%7E+T++%5C%5C%5B2pt%5D++S+%7E%5Cmathrm%7Brules%7D%7E+T++%5C%5C%5B2pt%5D++S+%7E%5Cmathrm%7Bsubsumes%7D%7E+T++%5C%5C%5B2pt%5D++S+%7E%5Cmathrm%7Btypes%7Eover%7D%7E+T++%5Cend%7Barray%7D&bg=ffffff&fg=000000&s=0&c=20201002)
The form
- Individual
- The named or quoted string
is being typed as a sentence
of the language
- Extensional
- Each member of the set
- Intensional
- The quality of being
Resources
cc: Academia.edu • BlueSky • Laws of Form • Mathstodon • Research Gate
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
Inquiry Into Inquiry 
Pingback: Survey of Animated Logical Graphs • 8 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 8 | Systems Community of Inquiry