Assertion: long put | /r/HasProperty | exercised
Facets:
Source sentences:
text: If the underlying is below both short put strikes yet below the highest long put strike, an assignment would result in both short puts purchasing the underlying with only one of the long puts being exercised.