Notions of predication based on extensional and intensional subsumption, as described by Woods, are related to Kahneman’s systems of thinking fast and slow. Path-based reasoning with links is applied to predication over not only individuals but (following Carlson) kinds and stages/time. Predications, fast and slow, are formulated in monadic secondorder logic over strings, analyzed in Goguen and...