Assertion: straddle's expiration | /r/HasProperty | different
Facets:
Source sentences:
text: If only the expirations are different, it is referred to as a calendar spread (also known as a "time" or "horizontal" spread).
text: If both the strike price and expirations are different, it is known as a diagonal spread.