Assertion list
mammoth (primary) → HasProperty
Results from Ascent++: 4
mammoth → HasProperty → large 0.56
mammoth → HasProperty → expensive 0.16
mammoth → HasProperty → open 0.16
mammoth → HasProperty → successful 0.16