Indian(specialOperationGroup) ∧ EliteParamilitaryUnit(specialOperationGroup) ∧ OperatesUnder(specialOperationGroup, odishaPolice)
SpecializesIn(specialOperationGroup, neutralizingTerroristsInsurgentsAndExtremists)
∀x ∀y ∀z (RecruitedFor(x, specialOperationGroup) ∧ SpecializesIn(specialOperationGroup, y) ∧ SkillFor(z, y) → TrainedIn(x, z))
SkillFor(executingRapidAction, neutralizingTerroristsInsurgentsAndExtremists) ∧ SkillFor(engagingInWarfare, neutralizingTerroristsInsurgentsAndExtremists)
∃x ∃y (In(x, indianArmedForces) ∧ RecruitedFor(x, specialOperationGroup) ∧  In(y, centralParamilitaryForces) ∧ RecruitedFor(y, specialOperationGroup))
∃x (In(x, indianArmedForces) ∧ RecruitedFor(x, specialOperationGroup))