@diego.vid.eco it strikes me that you can probably accomplish disambiguation here using the ordered-choice feature (https://github.com/Engelberg/instaparse#ordered-choice)

Yes, try something like

op-degrade = (<'?'> degrade-amount) / <'?'>