Symbol: relation_and