E + F { p : v }