Information about notation: ATL-POL