Assertion list for term "applied modulo".

Results from Ascent++: 1
value (aspect of property) HasPropertyapplied modulo 0.31