Above user in a nutshell

[PkmnQ]

Someone whose post reminded me I hate the rule now, and will revoke it.
I was the one who started it, remember?

[Gustone]

Someone I just accepted as our local savior (no not lord)

[fluffykitty]

Someone whose post resulted in the rule being removed, for better or for worse

[PkmnQ]

Someone who forgot to mention the “for useless” option.

[fluffykitty]

Someone who posted 1 minute ago

[Moosey]

∃User|(User is above)

[GUYTU6J]

Someone who is going to make personal 2000th post(as for now, 1997)

[fluffykitty]

Someone who has 576 posts

[Moosey]

Someone who has 576 posts

Someone who has a couple more than that

[fluffykitty]

Someone who will soon have 2019 posts

[Moosey]

Someone who will soon have 2019 posts

Someone whose statement is now correct (this is my 2019th post)

[testitemqlstudop]

Someone who will now be congratulated

[Gustone]

Someone who looks competent but actually isnt

[Moosey]

Some person who may or may not know that my amount of posts has now exceeded the current year.

[testitemqlstudop]

Someone who isn't lying if and only if the current year is under 2020

Someone who looks competent but actually isnt

Wtf

[Saka]

Someone who is at really very boats.

[Moosey]

Someone who probably knows Dani's location is "I love to eat bees".
(Also now I'll be right about posts>year unless I become inactive for 3 years)

[testitemqlstudop]

Someone who is fond of googology

[Moosey]

Someone who is fond of googology

Someone who can be described as the above post describes the user above the above user

[testitemqlstudop]

Someone who enjoys making brain-twisting logic statements in English instead of using logical quantifiers.

[Moosey]

Someone who enjoys making brain-twisting logic statements in English instead of using logical quantifiers.

Someone who may know that ∀(Posts I make)(Post not final->[∃Post][Post after my post)(Post Not first->[∃Post][Post before my post])
And thus that
∃(Person|Person = me)(Person makes brain-twisting logic statements in English and simple observations in logical quantifiers)

Someone who can be described as the above post describes the user above the above user

Means
∀(Post|post=one in question)∀(User|User∈{Above user,User above above user})(Post describes User)


Can anyone list properties of the relation describes? for instance, x = y && z describes x ⇒ z describes y.

[fluffykitty]

Someone who should probably stop reusing the same variable name

[Moosey]

Someone who is right

[testitemqlstudop]

Someone who is right

[Saka]

Someone who is right