For example, in NSIAD's study of conditions on submarines, auditors spent time aboard submarines in a variety of situations, getting firsthand knowledge of life in these vessels.
Auditors participated in simulated war games while aboard submarines.
mnli hypothesis: Auditors participated in simulated war games while aboard submarines. premise: For example, in NSIAD's study of conditions on submarines, auditors spent time aboard submarines in a variety of situations, getting firsthand knowledge of life in these vessels.