Для вертикального профиля можно спросить q max (poss[3],pose[3]) или var !Z max (poss[3],pose[3]) две другие координаты равны....
