#troop.army_unit  a cavalry unit corresponding to an infantry company
  supertype:  #army_unit  a military unit that is part of an army
  member of:  #cavalry  a highly mobile army unit

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