Closed remimorvan closed 1 year ago
On
\knowledge{notion} | regular language over countable ordinals | regular language@ord
we obtain the following scope meaning {'ord': [['ordinals', 'countable'], ['ord']]}.
{'ord': [['ordinals', 'countable'], ['ord']]}
\knowledge{notion} | regular language over countable ordinals | regular languages@ord
we obtain {'ord': [['ord']]}.
{'ord': [['ord']]}
On
we obtain the following scope meaning
{'ord': [['ordinals', 'countable'], ['ord']]}
.On
we obtain
{'ord': [['ord']]}
.