Assertion: ping | /r/HasAspect | two options
Facets:
Source sentences:
text: Ping has two options that allow you to specify a list of addresses for the path that the transmission should take.
text: Ping has an option to set the “don’t fragment” flag.
text: Ping has two options for that: -r to record routes for count hops (The value should be between 1 and 9) and –s for the timestamp for count hops (The value should be between 1 and 4).