Assertion list for term "implemented by circuitry".

Results from Ascent++: 2
combination ReceivesActionimplemented by circuitry 0.36
block ReceivesActionimplemented by circuitry 0.33