Analyzing ATRL using the QaY Framework...