Incomplete pattern matches on this expression. For example, the value 'NegativeLiteralAssertion (_, _, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'NegativeLiteralAssertion (_, _, _)' may indicate a case not covered by the pattern(s).

'DatalogParser.RuleContext' hides inherited member 'Parser.RuleContext'. Use the new keyword if hiding was intended.

'DatalogParser.RuleContext' hides inherited member 'Parser.RuleContext'. Use the new keyword if hiding was intended.

The using directive for 'DagSemTools.AlcTableau' appeared previously in this namespace

The switch expression does not handle all possible values of its input type (it is not exhaustive). For example, the pattern '_' is not covered.

The switch expression does not handle all possible values of its input type (it is not exhaustive). For example, the pattern '_' is not covered.

Missing XML comment for publicly visible type or member 'TableauReasoner'

The using directive for 'DagSemTools.AlcTableau' appeared previously in this namespace

The switch expression does not handle all possible values of its input type (it is not exhaustive). For example, the pattern '_' is not covered.

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'AtMostOneValueFrom (_)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).

Incomplete pattern matches on this expression. For example, the value 'DirectlyTranslatableConceptInclusion (_, _)' may indicate a case not covered by the pattern(s).