Assertion list
canada lynx (subgroup of lynx ) → AtLocation
Results from Ascent++: 1
canada lynx → AtLocation → canada 0.25