subord . + modal: λPʼ .∀wʼ[wʼRwˮ & Lyn understands Ed . in manner Pʼ in wʼ > Edmundʼs thoughts are known to Lyn in wʼ])
 = λP . if Lyn understands Edmund in manner P, then Edmundʼs thoughts are known to Lyn