Every cat that cleans himself cleans an animal who catches mice.
This sentence has two relative clauses, which we represent in the matrix by the symbols "C*" and "A*". The sentence is in active form, so the subject is slid out first.

All dogs bark
Someone works for Nadia
Everyone loves someone
Some cup was put on every table by some man
There's a time at which everyone eats every doughnut
Only philosophers wear only diamonds
If someone is tall, then he is bigger than Rachel
Every dog that has an owner obeys him
The man Karen adores is friends with Bob