Somut nesnenin, troplardan Biraradalık ilişkisi yardımıyla nasıl oluştuğunu ortaya koymaktır.

Uzay veya Zaman belirlenebilirini örnekleyen iki veya daha çok sayıda uzay veya zaman tropu taşımak

Fonksiyon biçiminde olan belirlenebilir özelliklerin bir kısmını ortaya çıkarmak

Ait oldukları nesne türüne özgü belli özellik türlerini (yani trop türlerini) örneklemek

Çıplak taşıyıcı ve onun taşıdığı troplardan oluşan somut nesnenin özdeşliğini korumak