Concretized Proposition Prompting Resolves Composition-Knowledge Dichotomy in Large Language Models | AIChainDay