QT Logic: Simpler and More Expressive Than Predicate Calculus