inputs: hypothesis: Maglev is commercially used. premise: It appears that the super-conducting maglev system is technically ready to be used commercially as a very high-speed, large-capacity transportation system.