Inferential Role Semantics for Natural Language
Tensor product variable binding and the representation of symbolic structures in connectionist systems