Assertion: universal algebra | /r/CapableOf | provide natural language
Facets:
value: for the constraint satisfaction problem
type: TRANSITIVE-OBJECT
Source sentences:
text: Universal algebra provides a natural language for the constraint satisfaction problem (CSP).