#extension_ladder__extensionladder  a ladder whose length can be extended
  supertype:  #ladder  steps consisting of two parallel members connected by rungs; for climbing up or down
  subtype:  #aerial_ladder  mechanically extendible ladder; used on a fire truck

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