Explanation of automated reasoning by Wognum