Assertion list for term "present in one of the two locations".

Results from Ascent++: 1
interpreter ReceivesActionpresent in one of the two locations 0.22