[...]
Universaalikielelle on monta määrittelyä, jotka poikkeavat
toisistaan hiukan. Lispissä ei-atomiset ilmaukset ovat pareja ja jonot
rakennetaan pareista. Prologissa jokaisella jonolla on tyyppi
(funktori). Logossa parit ovat yksinkertaisesti kaksipaikkaisia jonoja.
XML:ssä [XML]:ssä atomiset ilmaukset voivat olla
merkkijonoja, joiden sisäinen rakenne tai sen puute jätetään avoimeksi.
([Yhdistetyt merkkien kaltaiset tietotyypit])
[...]