extended instance to contain field and skolem values