Assertion list for term "designed for component checking".

Results from Ascent++: 1
microscope ReceivesActiondesigned for component checking 0.35