E[ foo ] { p : v }