Assertion: algorithm | /r/HasProperty | specified in formal language
Facets:
Source sentences:
text: All algorithms need to be specified in a formal language, and the "simplicity notion" arises from the simplicity of the language.