Define a hash for each canonicalized clause for lookup, etc.