['valve', 'open', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter']
["Synset('covering.n.01')", 'crane-40.3.2', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter']
It is not the result of another malfunction, but that the starboard transfer valve has manually been opened.
<PRP> is not the Synset('message.n.02') of another malfunction, but that the starboard Synset('change.n.03') Synset('covering.n.01') has manually been opened.