Relation_symbols loading ...