description:
do-you-know seq
if seq is one of these:
don't know ket |>
empty superposition
empty sequence
return |no>
else, return |yes>
examples:
do-you-know |>
|no>
do-you-know |x>
|yes>
age |Fred> => |27>
do-you-know age |Fred>
|yes>
do-you-know age |Sam>
|no>
see also: