(root 
  (class living_thing 
   (spec human 
        (prop has_legs))
   (spec bird (prop has_wings))))