x AND (Y AND Z) - I supposed is logically sane. But does it make sense to do?
Maybe the construct will make it easier for people to express themselves. Users aren't suppose to know logic rules.
If decide to implement validator
One method might be:
Create branch visitor, harvest all branch ids.
For each branch id traverse up, check parent node (which will be a junction) does not have same junction operator as current branch. Traverse up.
I dont know how necessary this is, not spending time on it now.
x AND (Y AND Z) - I supposed is logically sane. But does it make sense to do? Maybe the construct will make it easier for people to express themselves. Users aren't suppose to know logic rules.
If decide to implement validator One method might be:
I dont know how necessary this is, not spending time on it now.