Please use the following key to symbolize statement in Predi

Please use the following key to symbolize statement in Predicate Logic.
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

Nobody writes a philosophical text unless they copy it from a philosophical text that Plato copied from a philosophical text written by Socrates.

Solution

N < C p ---> C a