Assertion list for term "atomic".
Results from Ascent++: 2
update → HasProperty → atomic 0.48
conversion → HasProperty → atomic 0.25