;;


Vocabulary
logic

Variable description
Is used to represent disjunction. The code below it has the same meaning as the code below it.
Gh { Gb1 Gb2 Gb3 ;; Gb4 Gb5 ;; Gb6 } rule

Gh { Gb1 Gb2 Gb3 } rule Gh { Gb4 Gb5 } rule: Gh { Gb6 } rule


Definition