Rey Received the Highest Grade on Test #1

Multiple Choice

Rey received the highest grade on Test #1. Spencer, who is not Rey, received a grade on Test #1. So, Rey's grade is higher than Spencer's. (r: Rey; s: Spencer; t: Test #1; Gxy: x is a grade on y; Hxy: x is higher than y; Rxy: x received y)
-Which of the following is the best translation into F of this argument?

A) 1. (∃x) {Gxt • Rrx • (∀y) {Ryt ⊃ (∀z) [(Gzy • z≠r) ⊃ Hxy]}} 2. s≠r • (∃x) (Gxt • Rsx) / (∃x) (∃y) (Gxt • Rrx • Gyt • Rsy • Hxy)
B) 1. (∃x) {Gxt • Rrx • (∀y) {Ryt ⊃ (∀z) [(Gzy • z=r) ⊃ Hxy]}} 2. s≠r • (∃x) (Gsx • Rxt) / (∃x) (∃y) (Gxt • Rrx • Gyt • Rsy • Hxy)
C) 1. (∃x) {Gxt • Rrx • (∀y) {Gyt ⊃ (∀z) [(Rzy • z≠r) ⊃ Hxy]}} 2. s≠r • (∃x) (Gxt • Rsx) / (∃x) (∃y) (Gxt • Rrx • Gyt • Rsy • Hxy)
D) 1. (∀x) {Gxt • Rrx • (∀y) {Gyt ⊃ (∀z) [(Rzy • z≠r) ⊃ Hxy]}} 2. s≠r • (∃x) (Gsx • Rxt) / (∃x) (∃y) (Gxt • Rrx • Gyt • Rsy • Hxy)
E) 1. (∃x) {Gxt • Rrx • (∀y) {Gyt ⊃ (∀z) [(Rzy • z=r) ⊃ Hxy]}} 2. s≠r • (∃x) (Gxt • Rsx) / (∃x) (∃y) (Gxt • Rrx • Gyt • Rsy • Hxy)