... parser.¹

Even if the table of items were indexed properly (which is somehwat difficult in Prolog) a non-trivial overhead remains because items must be compared with the subsumption check.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.