Assertion: shape | /r/HasProperty | symbolic manipulation system
Facets:
Source sentences:
text: FORM (symbolic manipulation system), a program for symbolic computations