high speed train subgroup of train, 13 assertions