Assertion: logic's property | /r/HasProperty | tested against large suite of test scenarios
Facets:
value: systematically
type: MANNER
Source sentences:
text: The properties of the logics are systematically tested against a large suite of test scenarios.