∀x (Fortification(x) → MilitaryConstruction(x) ∧ DesignedtoDefendTerritoriesinWarfare(x))
∃x (MainFortification(x,4) ∧ MainFortification(borjMasouda) ∧ In(borjMasouda, sfaxMedina))
In(sfaxMedina, tunisia)
∀x (DefensiveWall(x) → Fortification(x))
MilitaryConstructionDesignedToDefendTerritoriesInWarfare(borjMasouda)