Expression [] disjuncts = new Expression[relation.getArity()];
for ( int i = 1; i <= relation.getArity(); i++ )
disjuncts[i-1] = examineRelation(relation.getElement(i));
return new Disjunction(false, disjuncts);
}
// Second case: normal relation.
// Make sure this symbol isn't a function/object symbol already.