Assertion list for term "right material".

Results from Ascent++: 1
concrete IsAright material 0.18