Mauri Majava on kehittänyt mallin kuvaamaan veistoksia:

• Veistos on kolmikko (m, s, lista), joka koostuu materiaalista m, muodosta s ja listasta pienempiä veistoksia, jotka on kiinnitetty muodon päälle.
• [] tarkoittaa tyhjää listaa ilman esineitä, [a] on lista sisältäen vain yhden esineen a ja [a, b] on lista sisältäen kaksi esinettä a ja b.

Esimerkiksi
  

(lasi, lieriö, [])    (betoni, lieriö, [(tiili, pallo [])])

Mikä määritelmä kuvaa seuraavaa veistosta?