Assertion list for term "located over m1".

Results from Ascent++: 1
anode ReceivesActionlocated over m1 0.25