Assertion list
option (aspect of straddle ) → HasProperty
Results from Ascent++: 2
option → HasProperty → overvalued 0.47
option → HasProperty → expensive 0.16