Assertion list for term "arrive at the detection port".

Results from Ascent++: 1
photon CapableOfarrive at the detection port 0.41