English: Rewrite rules of operation take and corresponding definitional tree. Operation take takes a list ${\displaystyle l}$ and a natural number ${\displaystyle n}$ and returns either the list of the first ${\displaystyle n}$ elements of ${\displaystyle l}$ or the entire ${\displaystyle l}$, if ${\displaystyle l}$ has less than ${\displaystyle n}$ elements. Natural numbers are represented in unary notation. Lists are represented in the notation of the programming language Haskell. Likewise, symbol application is curried.