non-logical connective: namespace connective / ‘.’.
The left-operand can be a dictionary / dialect / standard, a namespace (as in Lean), a domain name label pe'ainai (part between dots) (Java order), something that can be accessed (like ‘.’ or ‘ ˆ.’ in Haskell lenses), and similar constructs. co'i'o is a general ‘dot’ operator that can mean all of these. See also: joi'ei (nonce connective).