docs for ARQL