a[b->c].
d[b->e].

// Query:
//      ?X[?Y->?Z].

// Then:
//      \one.
//      ?X[?Y->?Z].