CEVAP: Genel olarak A, B türünden bir somut nesne ve t, A’nın varolduğu bir zaman anı olsun. A somut nesnesinin t zaman anında kapladığı Ut uzay bölgesinin içindeki u bölgeciğini ele alalım. Buna göre B türüne özgü fonksiyon biçimindeki en üst türden belirlenebilenler B1, ... , Bn olup, bu belirlenebilenlerin u bölgeciğindeki t anındaki örnekleyenleri sırasıyla b1, ..., bn tropları olsun. Bu durumda (u, t, b1 + ... + bn) üçlüsüne bir yalın somut nesne denir.