Man(a1-2)[Man(a1-2)[Man(a1-2)[Man(a1-2)[Man(a1-2)[Man(a1-2)[Man(a1-2)[Man(a1-2)[Ara(a1-5)Ara(?1-2)[Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)]Man(a1-6)Man(a1-6)Man(a1-