Table 4: Requirements for the PropertyAccessor concepts. (a) ReadablePropertyAccessor; (b) WriteablePropertyAccessor; (c) LvaluePropertyAccessor refines ReadWritePropertyAccessor.