Document 6ffc9680fbe00a58d70cdeb319f11205ed998131ce51bb96f16c7904faf74a3d
Base set
Let In : TpArr set TpArr set Prop := Prim 7
Let Sing : TpArr set set := Prim 43
Let Empty : set := Prim 9
Let atleast3 : TpArr set Prop := Prim 15
Let binrep : TpArr set TpArr set set := Prim 71
Let Power : TpArr set set := Prim 11
Let and : TpArr Prop TpArr Prop Prop := Prim 4
Let not : TpArr Prop Prop := Prim 3
Let Subq : TpArr set TpArr set Prop := Prim 8
Let equip : TpArr set TpArr set Prop := Prim 54
Let TransSet : TpArr set Prop := Prim 13
Let exactly3 : TpArr set Prop := Prim 20
Let setsum_p : TpArr set Prop := Prim 75
Let exactly5 : TpArr set Prop := Prim 22
Conj bountyprop : All X0 set Imp Ap Ap In X0 Ap Sing Empty Ex X1 set All X2 set Imp Ap atleast3 Ap Ap binrep Ap Ap binrep Ap Power Ap Ap binrep Ap Power Ap Power Empty Empty Ap Power Empty Empty Ap Ap and All X3 set Imp Ap Ap In X3 X0 All X4 set Imp Ap not Ap Ap Subq X4 X3 Imp Ap Ap equip Ap Ap binrep Ap Power Ap Ap binrep Ap Power Ap Power Empty Empty Empty X3 Ap Ap and Ap TransSet X2 Ap not Ap exactly3 X4 All X3 set Ex X4 set Ap Ap and Ap not Ap setsum_p X3 Ap exactly5 X2
