Ingen varer
Kassen / rediger kurv
Observable human commonsense reasoning can be modeled with graded propositional logic.