Assertion list
floater (primary) → AtLocation
Results from Ascent++: 3
floater → AtLocation → front of the eye 0.50
floater → AtLocation → posterior vitreous 0.25
floater → AtLocation → the water 0.16