Assertion list for term "configured to detect a horn sound".

Results from Ascent++: 1
circuit ReceivesActionconfigured to detect a horn sound 0.25