Assertion list
message (aspect of prophet ) → AtLocation
Results from Ascent++: 1
message → AtLocation → error 0.22