Please use the following key to symbolize statements in Pred

Please use the following key to symbolize statements in Predicate Logic.

Key:

T 1 : 1 is a philosophical text B 1 2: 1 is a better than 2 W 1 2: 1 writes 2

R 1 2 : 1 reads 2

C 1 2 3 : 1 copies 2 from 3

s: Socrates

p: Plato

a: Anaximander

Plato read every philosophical text that was written by Socrates.

R p a -> plato reads socrates text

Plato read every philosophical text that was written by Socrates.

R p T a W p a