Assertion list for term "rx".
Results from Ascent++: 1
mercury → HasProperty → rx 0.39