  We present a method for formalising quantifiers in natural language in the
context of human-robot interactions. The solution is based on first-order logic
extended with capabilities to represent the cardinality of variables, operating
similarly to generalised quantifiers. To demonstrate the method, we designed an
end-to-end system able to receive input as natural language, convert it into a
formal logical representation, evaluate it, and return a result or send a
command to a simulated robot.
