it is used to evaluate the efficacy of automated reasoning algorithms ku ikaramu nshuti n'ikaramu hamwe n imishinga yose yo kuhageza the second is to consider human abilities