An experimental evaluation of single domain theories