Condition() {
    if(exprStart.get(sym)) {
        CondTerm();
        while(sym == or) {
            scan();
            CondTerm();
        }
    }
}

CondTerm() {
    if(exprStart.get(sym)) {
        CondFact();
        while(sym == and) {
            scan();
            CondFact();
        }
    }
}

CondFact() {
    if(exprStart.get(sym)) {
        Expr();
        Relop();
        Expr();
    }
}