property aspect of semiconductor, 3 assertions