s1 --> np0, np0, np0, np0, np0, np0, np0, np0, np0, np0, vp0.
s2 --> ph2(np), ph2(np), ph2(np), ph2(np), ph2(np), ph2(np), ph2(np), ph2(np), ph2(np), ph2(np), ph2(vp).
s3 --> ph3(np), ph3(np), ph3(np), ph3(np), ph3(np), ph3(np), ph3(np), ph3(np), ph3(np), ph3(np), ph3(vp).
np0 --> np.
vp0 --> vp.
ph2(Ph) --> call(Ph).
ph3(Ph) --> phrase(Ph).
np --> [a].
np --> [b].
np --> [c].
np --> [d].
np --> [e].
vp --> [x].
vp --> [y].
[debug] ?- time(aggregate_all(count, phrase(s1,L,[]), Count)).
% 102,539,081 inferences, 10.668 CPU in 10.664 seconds (100% CPU, 9611730 Lips)
Count = 19531250.
[debug] ?- time(aggregate_all(count, phrase(s2,L,[]), Count)).
% 102,539,081 inferences, 11.194 CPU in 11.191 seconds (100% CPU, 9159933 Lips)
Count = 19531250.
[debug] ?- time(aggregate_all(count, phrase(s3,L,[]), Count)).
% 236,816,422 inferences, 24.826 CPU in 24.818 seconds (100% CPU, 9538938 Lips)
Count = 19531250.