phrase1: world label
phrase2: global identifier
sentence1: All propositional expansion rules are adapted to this variant by stating that they all refer to formulae with the same world label.
sentence2: All propositional expansion rules are adapted to this variant by stating that they all refer to formulae with the same global identifier.