Symbol: sema_value