Table copy_text_name

predicate copy_text_name(@copy id, int idx, string text_name)