Document 6ffc9680fbe00a58d70cdeb319f11205ed998131ce51bb96f16c7904faf74a3d
Base set
Let In : TpArr set TpArr set Prop := Prim 7
Let Empty : set := Prim 9
Let ordinal : TpArr set Prop := Prim 62
Let and : TpArr Prop TpArr Prop Prop := Prim 4
Let exactly2 : TpArr set Prop := Prim 19
Let not : TpArr Prop Prop := Prim 3
Let exactly5 : TpArr set Prop := Prim 22
Let atleast2 : TpArr set Prop := Prim 14
Let Power : TpArr set set := Prim 11
Let binrep : TpArr set TpArr set set := Prim 71
Let atleast3 : TpArr set Prop := Prim 15
Let atleast5 : TpArr set Prop := Prim 17
Let exactly1of2 : TpArr Prop TpArr Prop Prop := Prim 38
Let SNoLt : TpArr set TpArr set Prop := Prim 94
Let TransSet : TpArr set Prop := Prim 13
Let nat_p : TpArr set Prop := Prim 58
Conj bountyprop_neg : Imp All X0 set Imp Ap Ap In X0 Empty All X1 set Imp Ap Ap In X1 X0 All X2 set Imp Ap Ap In X2 X1 Ex X3 set All X4 set Imp Imp Ap ordinal X3 Ap Ap and Ap exactly2 X3 Ap not Ap exactly5 X4 Imp Imp Imp Ap ordinal X3 Ap exactly2 X3 Imp Ap atleast2 X3 Imp Imp Imp Ap not Ap atleast2 Ap Power Ap Ap binrep Ap Power Ap Power Empty Empty Eq set X3 X4 Ap atleast3 X3 Ap Ap and Ap atleast5 X2 Ap not Ap Ap exactly1of2 Ap Ap SNoLt X2 Ap Ap binrep Ap Power Ap Power Ap Power Ap Power Empty Empty Ap TransSet X4 Ap nat_p X3 All X0 Prop X0
