Man(a1-2)Man(b1-3)[Man(b1-3)[Man(a1-6)]Man(b1-6)]Man(a1-
