She does neither of these things well. Congrats to Jimmy, I guess!) There would probably be all kinds of visa and HR issues to work out first, too. Weighing these options would take time. And so what if they dont?
Jimmy and the girl deserve a divorce.
( z0 deserve :ARG0 ( z1 and :op ( z2 person :name ( z3 name :op "Jimmy" ) ) :op ( z4 girl ) ) :ARG1 ( z5 divorce :ARG0 z2 :ARG1 z4 ) )
(z0 / deserve-01
    :ARG0 (z1 / and
              :op1 (z2 / person
                       :name (z3 / name
                                 :op1 "Jimmy"))
              :op2 (z4 / girl))
    :ARG1 (z5 / divorce-01
              :ARG0 z2
              :ARG1 z4))
Jimmy and the girl deserve a divorce .
z2 :name z3
z3 :op1 0
z1 :op1 z2
z1 :op2 z4
z0 :ARG0 z1
z0 :ARG1 z5
z5 :ARG1 z4
z5 :ARG0 z2