time aspect of lemur, 1 assertions