Defining ExactL between various concepts

[hfaghihi15]

Hello @auszok!

I was wondering how we should define the following constraint:

For each step, entity, only one of the action_create, action_move, action_destory can be correct

Is the following correct?

forAllL(
        combinationC(step, entity)('i', 'e'),
        ifL(
            action(path=(('i', action_step.reversed), ('e', action_entity.reversed))),
            atMostL(action_create, action_destroy, action_move)
        )
    )

[auszok]

More precisely it should be

forAllL(
         combinationC(step, entity)('i', 'e'),
         ifL(
             action('x', path=(('i', action_step.reversed), ('e', action_entity.reversed))),
             atMostL(action_create(path='x'), action_destroy(path='x'), action_move(path='x'))
         )
     )

However if not 'x' is defined it will assumed.
atMostL will also allow than none is true unless you have another constraint requiring that action has some class.