Tasımı geniş tanımlamasına rağmen Aristoteles’in Birinci Çözümlemeler’de ele aldığı tasımlar özel bir geçerli çıkarım biçimidir. Bu çıkarımlar üç terimle elde edilmiş iki kategorik öncül ve bir sonuç önermesinden oluşur. Sonuç önermesinde geçmeyen terim her iki öncülde de bir kez geçer ve orta terim olarak adlandırılır. Sonuç önermesini oluşturan diğer iki terim sınır terimlerdir (sınırlar). Sınır terimleri de büyük terim ve küçük terim olarak belirlenir. Bu bilgilerden de anlaşıldığı gibi söz konusu çıkarımda orta terim kuştur. Kuş terimi her iki öncülde bir kez geçmiş, sonuç önermesinde ise geçmemiştir. Doğru cevap A’dır.