Assertion: benchmark's list | /r/HasProperty | written to file
Facets:
Source sentences:
text: The list of nameservers currently appearing in the Benchmark's list is written to a file whose name is provided by the user.
text: The list of nameservers currently appearing in the Benchmark's list is written to a file whose name is provided by the user.