Assertion list for term "receive the configuration data".

Results from Ascent++: 1
circuit CapableOfreceive the configuration data 0.32