Assertion list
single photon (subgroup of photon ) → IsA
Results from Ascent++: 2
single photon → IsA → refracted by lens 0.39
single photon → IsA → refracted by exhibit wave inter… 0.25