knowledge aspect of interpreter, 4 assertions