Assertion list
virtual photon (subgroup of photon ) → HasA

Results from Ascent++: 1
virtual photonHasA nonzero 0.68