@(defex cat animal)
@(defex lab dog animal)
@(defex collie dog)