More testing of pset semantics