Assertion list for term "ideal discipline".

Results from Ascent++: 1
history IsAideal discipline 0.19