The number of features involving concepts as constants (even if limited to simple structures such as the example rules above) will thus be prohibitively large.
it is necessary to search the space of candidate paths π very efficiently.