Generate a sentence with "b1" difficulty and starts with: "there is in".
There is in the first place a theory of quantification that uses different mechanisms for quantifying the argument positions of binary predicates.