Symbol: sm_lem_evaluate