Assertion list
malacca (primary) → HasProperty
Results from Ascent++: 2
malacca → HasProperty → hot 0.33
malacca → HasProperty → rich 0.16