Assertion list for term "revolve in the proportion of four".

Results from Ascent++: 1
sum CapableOfrevolve in the proportion of four 0.27