An unqualified "there is X" translates to an existential quantifier in logic, eg. "there exists an X". This is basic logic translation: https://en.wikipedia.org/wiki/Logic_translation#Problematic_...