-R . prosa -arg "-w -notation-overriden,-parsing,-projection-no-head-constant"