Commonsense Logic Theory view 3