Key points are not available for this paper at this time.
In this paper we present the initial development of a general theory for mapping inference in predicate logic to computation over Tensor Product Representations (TPRs; Smolensky (1990), Smolensky this shows how the simple methods of Lee et al. (2016) can be formally extended to more general reasoning tasks.
Smolensky et al. (Tue,) studied this question.