(5) In general, these conditions could be made arbitrarily complicated, and a
whole Rete net could be used to match the rules.  However, we have opted for
simplicity here instead: the conditions are very restricted, so that the
matching (actually, lookup) can be done in constant time.