Assertion list
website (aspect of lottery ) → HasProperty
Results from Ascent++: 2
website → HasProperty → secure 0.68
website → HasProperty → free 0.36