:- op(1050,xfx,--->).
%^
initial(s).             % used by chart parsers^M
%^
s   ---> np, vp.