#picket.vehicle  a vehicle performing sentinel duty
  supertype:  #vehicle  a conveyance that transports people or objects
  subtype:  #picket_boat  a boat serving as a picket
  subtype:  #picket_ship  a ship serving as a picket

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