;;

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

IN: logic

SYMBOL: ;; inline