Assertion list
canada lynx (subgroup of lynx ) → AtLocation

Results from Ascent++: 1
canada lynxAtLocation canada 0.25