In the navigation task, action arguments frequently contain redundant, rarely used information.
the interleaving verification steps frequently include many details that are never actually mentioned in the NL instructions.