a[b->3].
c[d->5].

// Queries:
//      a[b->3] < c[d->5].             // Yes or No?
//      a.b < c.d.                     // Yes or No?
//      a.b[] < c.d[].                 // Yes or No?