has dimension (is dimension of) – O12

This property belongs to an ongoing namespace that is only visible to members of the CRMsci project.