λ x λ y [ h i t ′ ( y , x ) ] {\displaystyle \lambda x\lambda y[\mathrm {hit} '(y,x)]} → ⟨tuksa, {[agr: subj, per: 1, num: sg] [agr: obj, per: 2, num: pl]}⟩ → i k t u k s a n {\displaystyle \mathrm {iktuksan} }