public function getClone() { $nobj = new Term($this->name, array()); foreach ($this->variables as $var) { $n_var = $var->getClone(); $nobj->addVariable($n_var); } return $nobj; }