Assertion: ping's option | /r/CapableOf | make sure
Facets:
Source sentences:
text: While the -w option makes sure ping stops in any case after the deadline has expired, there's another option (-W, in caps) that also makes ping stop but only when there's no response from the destination side.