(: Name: constSeq-12:)
(: Description: Constructing sequences.  Constructing a sequence, where one of its members contains a boolean (or) operation.:)

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

(fn:true() or fn:true(), fn:true())