Format 2: SEARCH statement for binary search

1 SEARCH ALL identifier-1
2? AT
2.1 END imperative-statement-1
3 WHEN
4 data-name-1
4.1? IS
4.2 EQUAL
4.2.1? TO
4.2 =
4.3 identifier-3
4.3 literal-1
4.3 arithmetic-expression-1
4 condition-name-1
5+ 
5.0? AND
5.0.1 data-name-2
5.0.1.1? IS
5.0.1.2 EQUAL
5.0.1.2.1? TO
5.0.1.2 =
5.0.1.3 identifier-4
5.0.1.3 literal-2
5.0.1.3 arithmetic-expression-2
5.0.1 condition-name-2
6 imperative-statement-2
6 NEXT SENTENCE
7? END-SEARCH