Assertion: specification | /r/HasAspect | syntax
Facets:
Source sentences:
text: These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.