eos
This non-terminal matches the end-of-input. It is implemented by checking that the implicit difference list unifies with []-[].
[]-[]
(none)
abc --> a, b, c, eos.
call//1-N, phrase//1, phrase/2, phrase/3
call//1-N
phrase//1
phrase/2
phrase/3