r←⟨1.2,0.4,0.1,2.5⟩ ∨´(1⊸≤∧2⊸>)¨+´3 Sel r