copy_term_semantics.