This task is about reading the given passage and construct a question about the information present in the passage. Construct a question in such a way that (i) it is unambiguous, (ii) it is answerable from the passage, (iii) its answer is unique (iv) its answer is a continuous text span from the paragraph. Avoid creating questions that (i) can be answered correctly without actually understanding the paragraph and (ii) uses same words or phrases given in the passage.

[EX Q]: In 121 BC, Han forces expelled the Xiongnu from a vast territory spanning the Hexi Corridor to Lop Nur. They repelled a joint Xiongnu-Qiang invasion of this northwestern territory in 111 BC. In that year, the Han court established four new frontier commanderies in this region: Jiuquan, Zhangyi, Dunhuang, and Wuwei. The majority of people on the frontier were soldiers. On occasion, the court forcibly moved peasant farmers to new frontier settlements, along with government-owned slaves and convicts who performed hard labor. The court also encouraged commoners, such as farmers, merchants, landowners, and hired laborers, to voluntarily migrate to the frontier.
[EX A]: Who made up a majority of the people on the frontier?

[EX Q]: LaserDisc did not have high market penetration in North America due to the high cost of the players and discs, which were far more expensive than VHS players and tapes, and due to marketplace confusion with the technologically inferior CED, which also went by the name Videodisc. While the format was not widely adopted by North American consumers, it was well received among videophiles due to the superior audio and video quality compared to VHS and Betamax tapes, finding a place in nearly one million American homes by the end of 1990. The format was more popular in Japan than in North America because prices were kept low to ensure adoption, resulting in minimal price differences between VHS tapes and the higher quality LaserDiscs, helping ensure that it quickly became the dominant consumer video format in Japan. Anime collectors in every country the LD format was released, which includes both North America and Japan, also quickly became familiar with this format, and sought the higher video and sound quality of LaserDisc and the availability of numerous titles not available on VHS. LaserDiscs were also popular alternatives to videocassettes among movie enthusiasts in the more affluent regions of South East Asia, such as Singapore, due to their high integration with the Japanese export market and the disc-based media's superior longevity compared to videocassette, especially in the humid conditions endemic to that area of the world.
[EX A]: Why didn't LaserDiscs become popular in North America?

[EX Q]: It has been proved that each class is strictly included into the next. For instance, testing when we assume that the behavior of the implementation under test can be denoted by a deterministic finite-state machine for some known finite sets of inputs and outputs and with some known number of states belongs to Class I (and all subsequent classes). However, if the number of states is not known, then it only belongs to all classes from Class II on. If the implementation under test must be a deterministic finite-state machine failing the specification for a single trace (and its continuations), and its number of states is unknown, then it only belongs to classes from Class III on. Testing temporal machines where transitions are triggered if inputs are produced within some real-bounded interval only belongs to classes from Class IV on, whereas testing many non-deterministic systems only belongs to Class V (but not all, and some even belong to Class I). The inclusion into Class I does not require the simplicity of the assumed computation model, as some testing cases involving implementations written in any programming language, and testing implementations defined as machines depending on continuous magnitudes, have been proved to be in Class I. Other elaborated cases, such as the testing framework by Matthew Hennessy under must semantics, and temporal machines with rational timeouts, belong to Class II.
[EX A]:
If the number of states is unknown, what group does this fall into?