The book that Al had read was good

Some book that Al had read that alone is a book that Al had readsuch that only it is a book that Al had readsuch that nothing else is a book that Al had read is such that (it was good)

(∃x: x is a book that Al had read that alone is a book that Al had readsuch that only it is a book that Al had readsuch that nothing else is a book that Al had read) x was good

(∃x: x is a book that Al had read ∧ x alone is a book that Al had read∧ only x is a book that Al had read∧ nothing other than x is a book that Al had read) x was good

(∃x: (x is a book ∧ Al had read x) ∧ (∀y: ¬ y = x) ¬ y is a book Al had read) Gx

(∃x: (x is a book ∧ Al had read x) ∧ (∀y: ¬ y = x) ¬ (y is a book ∧ Al had read y)) Gx

(∃x: (Bx ∧ Rax) ∧ (∀y: ¬ y = x) ¬ (By ∧ Ray)) Gx

or
(∃x: (Bx ∧ Rax) ∧ ¬ (∃y: ¬ y = x) (By ∧ Ray)) Gx

or
(∃x: (Bx ∧ Rax) ∧ (∀y: By ∧ Ray) x = y) Gx

B: [ _ is a book]; G: [ _ was good]; R: [ _ had read _ ]; a: Al

The book, which Al had read, was good

Some book that alone is a booksuch that only it is a booksuch that nothing else is a book is such that (it, which Al had read, was good)

(∃x: x is a book that alone is a booksuch that only it is a booksuch that nothing else is a book) x, which Al had read, was good

(∃x: x is a book ∧ x alone is a book∧ only x is a book∧ nothing other than x is a book) (Al had read x ∧ x was good)

(∃x: x is a book ∧ (∀y: ¬ y = x) ¬ y is a book) (Rax ∧ Gx)

(∃x: Bx ∧ (∀y: ¬ y = x) ¬ By) (Rax ∧ Gx)

or
(∃x: Bx ∧ ¬ (∃y: ¬ y = x) By) (Rax ∧ Gx)

or
(∃x: Bx ∧ (∀y: By) x = y) (Rax ∧ Gx)