#suborder_Pachycephalosaurus  bone-headed dinosaurs; late Cretaceous
  supertype:  #animal_order  the order of animals
  member of:  #suborder_Marginocephalia
  member:  #bone-headed_dinosaur  bipedal herbivorous dinosaurs with bony crowns

No statement uses or specializes #suborder_Pachycephalosaurus; click here to add one.