The Computational Treatment of Nominals