Assertion list
online chat room (subgroup of chat room ) → HasProperty
Results from Ascent++: 1
online chat room → HasProperty → free 0.16