Man(a1-2)[2)Man(a1-]n[Man(b1-2)[2)Man(b1-]nMan(a1-?)]Man(1-]