wheel aspect of locomotive, 9 assertions