Implementing First-Order Variables in a Graphical Cognitive Architecture