Assertion: sequence's property | /r/HasProperty | verified in this way
Facets:
value: mechanically
type: MANNER
Source sentences:
text: For example, the following properties of the Thue–Morse word can all be verified mechanically in this way: