Ascent++ | implemented in as logic

Assertion list for term "implemented in as logic".

Results from Ascent++: 2

block → ReceivesAction → implemented in as logic	0.29
apparatus → ReceivesAction → implemented in as logic	0.28