Assertion: abstraction | /r/CapableOf | proceed into operation
Facets:
Source sentences:
text: When abstraction proceeds into the operations defined, enabling objects of different types to be substituted, it is called polymorphism.