Assertion: concept | /r/CapableOf | provide foundation
Facets:
value: for equational reasoning in programs
type: TRANSITIVE-OBJECT
Source sentences:
text: These concepts provide a foundation for equational reasoning in programs.