type aspect of variable, 172 assertions