Your notation is unconventional—I read “abused-by(X,you)” as “X was abused by you”. I know this is the converse of what you really meant.
Your notation is unconventional—I read “abused-by(X,you)” as “X was abused by you”. I know this is the converse of what you really meant.