Assertion list for term "variate in property".

Results from Ascent++: 1
concrete CapableOfvariate in property 0.27