Definitsioon: suurused, mis on ühendatud tehtemärkidega
Mõiste: vormel
Ülemmõiste: konstateering
Mõiste: vormel
Ülemmõiste: sedastus
Mõiste: vormel
Ülemmõiste: nending