Assertion: ping | /r/CapableOf | stop in any case
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.