Godel said:
Edit: I just searched the implications and found convenient_censor -> censored, the reason was "Everything in the predicate is censored"
What's that mean? Is that talking about mathmatical prepositional functions? So like convenient_censoring must be censored because it has the word censoring in it? Hmmmmmmmmmmmmm...
"mathmatical prepositional functions"? Dude, your nick is Godel, I'd have expected more from you rofl
A logical implication, written as P ==> Q (or $P\implies Q$ for the LaTeX-minded), posits in some sense a causal relationship between P (known as the "antecedent" or "precedent") and Q (known as the "consequent"). Both P and Q tend to be propositions which are logical predicates over some entity set. It seems that albert has for some reason named as 'predicates' the antecedents of danbooru implications. Even though antecedents are usually predicates, so are consequents. Maybe that should be fixed.