Assertion list
user (aspect of messenger ) → HasProperty
Results from Ascent++: 1
user → HasProperty → online 0.25