One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology