+ if (plist.IsSymbol)
+ {
+ Xex.Variable vari = domain.GetVar (Xex.Name (plist.Symbol.Name),
+ true);
+ Xex.Term[] args = Xex.Term[1];
+ args[0] = new Xex.Term (vari);
+ terms[i] = new Xex.Term (domain, Ninsert, args);
+ }
+ else if (plist.IsMText)
+ {
+ Xex.Term[] args = Xex.Term[1];
+ args[0] = new Xex.Term ((string) plist.Text);
+ terms[i] = new Xex.Term (domain, Ninsert, args);
+ }
+ else if (plist.IsInteger)
+ {
+ Xex.Term[] args = Xex.Term[1];
+ args[0] = new Xex.Term (plist.Integer);
+ terms[i] = new Xex.Term (domain, Ninsert, args);
+ }
+ }