E > F { p : v }