<<>> <> <> <> <> <> DIRECTORY Rope; FeedbackSignals: CEDAR DEFINITIONS = BEGIN Problem: READONLY SIGNAL [msg: Rope.ROPE]; <> END.