Information about notation: ATL-ASI