Correlative value/variable binding in higher order ANNs