... cannot be cleaned until F is cleaned, unless F is cleaned ... the comma, using until as a group three indicator would cancel ... I choose to use the unless portion (group three) to negate the ... two, specifically hinging on the "until" term.
...