At first it looked to me like they were sealing in the command to tell the robots to home until the PLC receives both inputs back from the robots saying that they're at home...but no, you're right...
But after looking harder, it does appear the B000[54].3 address really means "Both robots home or either robot not homed..." or uh, well, nothing...the rung is forced on after once getting both robots homed, huh?
How about a new comment for the bit rung: "Sometime since the PLC entered run mode, both robots were homed at the same time..."