RenamedAs(fortCarillon, fortTiconderoga)
Built(pierredeRigauddeVaudreuil, fortCarillon)
LocatedIn(fortCarillon, newFrance)
¬LocatedIn(newFrance, europe) 
∃x (Built(pierredeRigauddeVaudreuil, x) ∧ LocatedIn(x, newEngland))