Berry, D.M.D.M.BerryKamsties, E.E.Kamsties2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/33616810.1109/IWSSD.2000.891140Rupp and Götz observe that some, but not all, requirement specification sentences involving universal quantification, are dangerous because they are usually not true. Jackson and Zave provide a classification of requirement specification sentences into indicative and optative sentences. It is observed that the dangerous sentences involving universal quantifiers are all indicative.enuniversal quantifierindicative sentenceoptative sentence004005006conference paper