Symbol: definitionContains