electric train subgroup of train, 7 assertions