Explanation of automated reasoning door Wognum