Assertion: ring's set | /r/HasAspect | dimension
Facets:
value: as a real vector space
type: MANNER
Source sentences:
text: For instance, the set of -by- matrices over the real field has dimension as a real vector space.