One hundred challenge problems for logical formalizations of commonsense psychology