Logically related fluents: Dead Xor Alive Problem (DXA) This is a slight reformulation of the YTS, with “becoming not alive” replaced by “becoming dead”, and the .