-R . probsa -arg "-w -notation-overriden,-parsing,-projection-no-head-constant,-ambiguous-paths"