The second term decouples over evaluations of individual statements In turn, since we never observe the correct interpretation l for any statement, but only model its evaluation z j , we marginalize over all interpretations whose evaluations in a context x matches z j (similar to Liang et al.
humans can efficiently learn about new concepts and phenomena through language.