pub const UNITS_LEMMA: &str = "repo lemma\n\nspec units\n\"\"\"\nSI bases, derived compounds, imperial, and information units.\nSingular names only; length uses American `meter` (not `metre`).\nDuration canonical `second`. Length canonical `meter`. Calendar canonical `month`.\nThermodynamic temperature is `kelvin` only (no affine Celsius/Fahrenheit).\n\"\"\"\n\ndata duration: measure\n -> unit second 1\n -> unit millisecond 0.001\n -> unit microsecond 0.000001\n -> unit nanosecond 0.000000001\n -> unit minute 60\n -> unit hour 3600\n -> unit day 86400\n -> unit week 604800\n -> trait duration\n\ndata length: measure\n -> unit meter 1\n -> unit millimeter 0.001\n -> unit centimeter 0.01\n -> unit micrometer 0.000001\n -> unit nanometer 0.000000001\n -> unit kilometer 1000\n -> unit inch 0.0254\n -> unit foot 0.3048\n -> unit yard 0.9144\n -> unit mile 1609.344\n\ndata mass: measure\n -> unit kilogram 1\n -> unit gram 0.001\n -> unit milligram 0.000001\n -> unit microgram 0.000000001\n -> unit tonne 1000\n -> unit ounce 0.028349523125\n -> unit pound 0.45359237\n -> unit ton 907.18474\n\ndata current: measure\n -> unit ampere 1\n -> unit milliampere 0.001\n -> unit microampere 0.000001\n\ndata temperature: measure\n -> unit kelvin 1\n\ndata substance: measure\n -> unit mole 1\n -> unit millimole 0.001\n -> unit micromole 0.000001\n\ndata luminous_intensity: measure\n -> unit candela 1\n\ndata calendar: measure\n -> unit month 1\n -> unit year 12\n -> trait calendar\n\ndata area: measure\n -> unit square_meter meter^2\n -> unit acre 4046.8564224 meter^2\n\ndata volume: measure\n -> unit cubic_meter meter^3\n -> unit liter 0.001 meter^3\n -> unit milliliter 0.000001 meter^3\n -> unit gallon 0.003785411784 meter^3\n\ndata force: measure\n -> unit newton kilogram * meter / second^2\n -> unit kilonewton 1000 kilogram * meter / second^2\n\ndata pressure: measure\n -> unit pascal newton / meter^2\n -> unit kilopascal 1000 newton / meter^2\n -> unit bar 100000 newton / meter^2\n\ndata energy: measure\n -> unit joule newton * meter\n -> unit kilojoule 1000 newton * meter\n -> unit watt_hour 3600 newton * meter\n -> unit kilowatt_hour 3600000 newton * meter\n\ndata power: measure\n -> unit watt joule / second\n -> unit kilowatt 1000 joule / second\n\ndata velocity: measure\n -> unit meter_per_second meter/second\n -> unit kilometer_per_hour kilometer/hour\n -> unit mile_per_hour mile/hour\n\ndata frequency: measure\n -> unit hertz second^-1\n -> unit kilohertz 1000 second^-1\n\ndata charge: measure\n -> unit coulomb ampere * second\n\ndata voltage: measure\n -> unit volt joule / coulomb\n -> unit millivolt 0.001 joule / coulomb\n -> unit kilovolt 1000 joule / coulomb\n\ndata resistance: measure\n -> unit ohm volt / ampere\n -> unit kilohm 1000 volt / ampere\n\ndata capacitance: measure\n -> unit farad coulomb / volt\n -> unit microfarad 0.000001 coulomb / volt\n\ndata information: measure\n -> unit bit 1\n -> unit byte 8\n -> unit kilobyte 8000\n -> unit megabyte 8000000\n -> unit gigabyte 8000000000\n -> unit terabyte 8000000000000\n -> unit petabyte 8000000000000000\n -> unit kibibyte 8192\n -> unit mebibyte 8388608\n -> unit gibibyte 8589934592\n -> unit tebibyte 8796093022208\n -> unit pebibyte 9007199254740992\n";