Implementation
final fullImplications = {
// Implications of LogicAtom('algebraic') = true:
(LogicAtom('algebraic'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('finite'), true),
(LogicAtom('infinite'), false),
(LogicAtom('transcendental'), false),
},
// Implications of LogicAtom('algebraic') = false:
(LogicAtom('algebraic'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('integer'), false),
(LogicAtom('odd'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('antiHermitian') = true:
(LogicAtom('antiHermitian'), true): <(Logic, bool)>{},
// Implications of LogicAtom('antiHermitian') = false:
(LogicAtom('antiHermitian'), false): <(Logic, bool)>{
(LogicAtom('imaginary'), false),
},
// Implications of LogicAtom('commutative') = true:
(LogicAtom('commutative'), true): <(Logic, bool)>{},
// Implications of LogicAtom('commutative') = false:
(LogicAtom('commutative'), false): <(Logic, bool)>{
(LogicAtom('algebraic'), false),
(LogicAtom('complex'), false),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), false),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), false),
(LogicAtom('imaginary'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('complex') = true:
(LogicAtom('complex'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('finite'), true),
(LogicAtom('infinite'), false),
},
// Implications of LogicAtom('complex') = false:
(LogicAtom('complex'), false): <(Logic, bool)>{
(LogicAtom('algebraic'), false),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('imaginary'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('composite') = true:
(LogicAtom('composite'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), true),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedPositive'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), true),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonNegative'), true),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), true),
(LogicAtom('positive'), true),
(LogicAtom('prime'), false),
(LogicAtom('rational'), true),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('composite') = false:
(LogicAtom('composite'), false): <(Logic, bool)>{},
// Implications of LogicAtom('even') = true:
(LogicAtom('even'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), true),
(LogicAtom('irrational'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('odd'), false),
(LogicAtom('rational'), true),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
},
// Implications of LogicAtom('even') = false:
(LogicAtom('even'), false): <(Logic, bool)>{
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('extendedNegative') = true:
(LogicAtom('extendedNegative'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('composite'), false),
(LogicAtom('extendedNonNegative'), false),
(LogicAtom('extendedNonPositive'), true),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('extendedNegative') = false:
(LogicAtom('extendedNegative'), false): <(Logic, bool)>{
(LogicAtom('negative'), false),
},
// Implications of LogicAtom('extendedNonNegative') = true:
(LogicAtom('extendedNonNegative'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedReal'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('negative'), false),
},
// Implications of LogicAtom('extendedNonNegative') = false:
(LogicAtom('extendedNonNegative'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('extendedNonPositive') = true:
(LogicAtom('extendedNonPositive'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('composite'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
},
// Implications of LogicAtom('extendedNonPositive') = false:
(LogicAtom('extendedNonPositive'), false): <(Logic, bool)>{
(LogicAtom('extendedNegative'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('extendedNonzero') = true:
(LogicAtom('extendedNonzero'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('extendedNonzero') = false:
(LogicAtom('extendedNonzero'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
},
// Implications of LogicAtom('extendedPositive') = true:
(LogicAtom('extendedPositive'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), true),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('extendedPositive') = false:
(LogicAtom('extendedPositive'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
},
// Implications of LogicAtom('extendedReal') = true:
(LogicAtom('extendedReal'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('imaginary'), false),
},
// Implications of LogicAtom('extendedReal') = false:
(LogicAtom('extendedReal'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), false),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('finite') = true:
(LogicAtom('finite'), true): <(Logic, bool)>{
(LogicAtom('infinite'), false),
},
// Implications of LogicAtom('finite') = false:
(LogicAtom('finite'), false): <(Logic, bool)>{
(LogicAtom('algebraic'), false),
(LogicAtom('complex'), false),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), true),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('hermitian') = true:
(LogicAtom('hermitian'), true): <(Logic, bool)>{},
// Implications of LogicAtom('hermitian') = false:
(LogicAtom('hermitian'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('imaginary') = true:
(LogicAtom('imaginary'), true): <(Logic, bool)>{
(LogicAtom('antiHermitian'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), false),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), false),
(LogicAtom('finite'), true),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('imaginary') = false:
(LogicAtom('imaginary'), false): <(Logic, bool)>{},
// Implications of LogicAtom('infinite') = true:
(LogicAtom('infinite'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), false),
(LogicAtom('complex'), false),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('finite'), false),
(LogicAtom('imaginary'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), false),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('infinite') = false:
(LogicAtom('infinite'), false): <(Logic, bool)>{
(LogicAtom('finite'), true),
},
// Implications of LogicAtom('integer') = true:
(LogicAtom('integer'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('irrational'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('rational'), true),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
},
// Implications of LogicAtom('integer') = false:
(LogicAtom('integer'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('odd'), false),
(LogicAtom('prime'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('irrational') = true:
(LogicAtom('irrational'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), false),
(LogicAtom('nonInteger'), true),
(LogicAtom('nonzero'), true),
(LogicAtom('odd'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('real'), true),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('irrational') = false:
(LogicAtom('irrational'), false): <(Logic, bool)>{},
// Implications of LogicAtom('negative') = true:
(LogicAtom('negative'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('extendedNegative'), true),
(LogicAtom('extendedNonNegative'), false),
(LogicAtom('extendedNonPositive'), true),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), true),
(LogicAtom('nonzero'), true),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('real'), true),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('negative') = false:
(LogicAtom('negative'), false): <(Logic, bool)>{},
// Implications of LogicAtom('nonInteger') = true:
(LogicAtom('nonInteger'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('integer'), false),
(LogicAtom('odd'), false),
(LogicAtom('prime'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('nonInteger') = false:
(LogicAtom('nonInteger'), false): <(Logic, bool)>{},
// Implications of LogicAtom('nonNegative') = true:
(LogicAtom('nonNegative'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('negative'), false),
(LogicAtom('real'), true),
},
// Implications of LogicAtom('nonNegative') = false:
(LogicAtom('nonNegative'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('nonPositive') = true:
(LogicAtom('nonPositive'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('extendedNonPositive'), true),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('real'), true),
},
// Implications of LogicAtom('nonPositive') = false:
(LogicAtom('nonPositive'), false): <(Logic, bool)>{
(LogicAtom('negative'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('nonzero') = true:
(LogicAtom('nonzero'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('real'), true),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('nonzero') = false:
(LogicAtom('nonzero'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('negative'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
},
// Implications of LogicAtom('odd') = true:
(LogicAtom('odd'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('even'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), true),
(LogicAtom('irrational'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonzero'), true),
(LogicAtom('rational'), true),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('odd') = false:
(LogicAtom('odd'), false): <(Logic, bool)>{},
// Implications of LogicAtom('positive') = true:
(LogicAtom('positive'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), true),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedPositive'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonNegative'), true),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), true),
(LogicAtom('real'), true),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('positive') = false:
(LogicAtom('positive'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('prime'), false),
},
// Implications of LogicAtom('prime') = true:
(LogicAtom('prime'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), true),
(LogicAtom('extendedNonPositive'), false),
(LogicAtom('extendedNonzero'), true),
(LogicAtom('extendedPositive'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), true),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonNegative'), true),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), true),
(LogicAtom('positive'), true),
(LogicAtom('rational'), true),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('prime') = false:
(LogicAtom('prime'), false): <(Logic, bool)>{},
// Implications of LogicAtom('rational') = true:
(LogicAtom('rational'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('irrational'), false),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
},
// Implications of LogicAtom('rational') = false:
(LogicAtom('rational'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('integer'), false),
(LogicAtom('odd'), false),
(LogicAtom('prime'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('real') = true:
(LogicAtom('real'), true): <(Logic, bool)>{
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
},
// Implications of LogicAtom('real') = false:
(LogicAtom('real'), false): <(Logic, bool)>{
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('integer'), false),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonNegative'), false),
(LogicAtom('nonPositive'), false),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('transcendental') = true:
(LogicAtom('transcendental'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), false),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('even'), false),
(LogicAtom('finite'), true),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), false),
(LogicAtom('odd'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), false),
(LogicAtom('zero'), false),
},
// Implications of LogicAtom('transcendental') = false:
(LogicAtom('transcendental'), false): <(Logic, bool)>{},
// Implications of LogicAtom('zero') = true:
(LogicAtom('zero'), true): <(Logic, bool)>{
(LogicAtom('algebraic'), true),
(LogicAtom('commutative'), true),
(LogicAtom('complex'), true),
(LogicAtom('composite'), false),
(LogicAtom('even'), true),
(LogicAtom('extendedNegative'), false),
(LogicAtom('extendedNonNegative'), true),
(LogicAtom('extendedNonPositive'), true),
(LogicAtom('extendedNonzero'), false),
(LogicAtom('extendedPositive'), false),
(LogicAtom('extendedReal'), true),
(LogicAtom('finite'), true),
(LogicAtom('hermitian'), true),
(LogicAtom('imaginary'), false),
(LogicAtom('infinite'), false),
(LogicAtom('integer'), true),
(LogicAtom('irrational'), false),
(LogicAtom('negative'), false),
(LogicAtom('nonInteger'), false),
(LogicAtom('nonNegative'), true),
(LogicAtom('nonPositive'), true),
(LogicAtom('nonzero'), false),
(LogicAtom('odd'), false),
(LogicAtom('positive'), false),
(LogicAtom('prime'), false),
(LogicAtom('rational'), true),
(LogicAtom('real'), true),
(LogicAtom('transcendental'), false),
},
// Implications of LogicAtom('zero') = false:
(LogicAtom('zero'), false): <(Logic, bool)>{},
};
