The syntax of floating quantifiers door