blob: d67e61aee9196c0ff590554eccf6ad0d444e98d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
%------------------------------------------------------------------------------
% File : SYN000-0 : TPTP v5.5.0. Released v3.6.0.
% Domain : Syntactic
% Axioms : A simple include file for CNF
% Version : Biased.
% English :
% Refs :
% Source : [TPTP]
% Names :
% Status : Satisfiable
% Syntax : Number of clauses : 3 ( 0 non-Horn; 3 unit; 3 RR)
% Number of atoms : 3 ( 0 equality)
% Maximal clause size : 1 ( 1 average)
% Number of predicates : 3 ( 3 propositional; 0-0 arity)
% Number of functors : 0 ( 0 constant; --- arity)
% Number of variables : 0 ( 0 singleton)
% Maximal term depth : 0 ( 0 average)
% SPC :
% Comments :
%------------------------------------------------------------------------------
%----Some axioms to include
cnf(ia1,axiom,
ia1).
cnf(ia2,axiom,
ia2).
cnf(ia3,axiom,
ia3).
%------------------------------------------------------------------------------
|