Do de re necessities express semantic rules?