E ~ F { p : v }