Assertion list for term "specified with the -ooption".
Results from Ascent++: 1
output (aspect of function) → ReceivesAction → specified with the -ooption 0.29