only 4 first order tags for powerset