the modal operator attaches to the open sentence to form a new open modal sentence and the attribute expressed by Ocj) is then I follow Arthur Smullyan's treatment of scope ambiguity in modal sentences, given in Modality and Description, Journal of Symbolic Logic