Symbol: cond_type