Intra-clause references can be made with §1, §2… But this doesn’t work with @refs-if(§1, §2…) for example.
However, it does work with { AND | §1 | §2 … }
Is there a particular reason why intra-clauses don’t work with the special function @refs-if?
Intra-clause references can be made with §1, §2… But this doesn’t work with @refs-if(§1, §2…) for example.
However, it does work with { AND | §1 | §2 … }
Is there a particular reason why intra-clauses don’t work with the special function @refs-if?
Hi Bernd,
There were deep technical constraints why this was not currently possible. I updated the software, it should now be possible. (The new version will probably be released by the end of this weekend.)
Thank you Maarten!