Assertion list for term "form a type of imperfection".

Results from Ascent++: 1
basis CapableOfform a type of imperfection 0.16