3-ASL[4]