Assertion list for term "their residue".

Results from Ascent++: 1
label HasAtheir residue 0.36