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

A philosophical text written by Plato is better than one written by Socrates only if Plato copied it from a text written by Anaximander.

T1 : 1 ----> p > W12:1 ----> s <---> p C 1 2 3 : 1 ----> a