Commonsense Logic Theory view 1