"kulupu li pona, en kepeken ilo nanpa, kulupu li pona mute"

-- jan kulupu nanpa

 
  s(x) ⊗ ϕ(x, x′) ⊸ s(x′)