The user need not be aware of the underlying formalism any more than a person using a text editor need be aware of ASCII codes.
application of the same test showed no significant difference in subjects' performance on the second versus third, second versus fourth, or the third versus fourth composed query.