2020-03-10 9:15:39 (GMT)
Hello.
2020-03-10 9:20:32 (GMT)
Ok, here is my current favorite:
The next simplification rule can be used to prune arguments of applied variables
if the arguments can be expressed as functions of the remaining arguments.
2020-03-10 9:21:31 (GMT)
That's Sophie's last proposal but with "the", right?
2020-03-10 9:21:41 (GMT)
Exactly.
2020-03-10 9:21:52 (GMT)
Yes I'm all for it.
2020-03-10 9:21:54 (GMT)
I've already pushed it.
2020-03-10 9:22:36 (GMT)
But I disagree with your other change
2020-03-10 9:22:39 (GMT)
"the second and the first argument"
2020-03-10 9:22:42 (GMT)
is less idiomatic than
2020-03-10 9:22:43 (GMT)
Agreed! The chat is a better place to discuss this and it is indeed turning into a bike shed argument. This is a bit frustrating because if we were together, I am sure we would have been able to reach an agreement in less than 2 minutes and to move on to other topics (but writing takes time).
I am fine with Alex's latest proposal, the connexion between the two sentences is now clear.
2020-03-10 9:22:49 (GMT)
"the second and first arguments"
2020-03-10 9:22:55 (GMT)
it's 5 vs 2000+ on Google.
2020-03-10 9:23:16 (GMT)
That's what chat is for.
2020-03-10 9:23:42 (GMT)
exactly!
2020-03-10 9:34:18 (GMT)
"the second and first arguments"
Every time I am so convinced that I am right about this :D
2020-03-10 9:58:1 (GMT)
Your version wasn't wrong, just less frequent.
2020-03-10 9:58:10 (GMT)
I think it's more frequent in French and German.
2020-03-10 9:59:21 (GMT)
Indeed, in French, 8000+ hits for "le premier et le deuxième argument"
2020-03-10 9:59:54 (GMT)
300+ hits for "les premier et deuxième arguments"
2020-03-10 10:0:0 (GMT)
1 hit for "les premiers et deuxièmes arguments"
2020-03-10 10:0:13 (GMT)
(I swapped 1st and 2nd to get more hits overall.)
2020-03-10 10:1:7 (GMT)
It's my last workday today before vacation. Anything I can do to be of service on any submission?