Assertion list for term "given by roberto bagnara".

Results from Ascent++: 1
seminar ReceivesActiongiven by roberto bagnara 0.25