Assertion list for term "installed in section".

Results from Ascent++: 1
fence ReceivesActioninstalled in section 0.32