7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maedersorts individual, list

7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maederfree type list ::= nil | cons(individual;list)

94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian Maederpreds rel : individual * list

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederops fun : individual * list -> individual;

7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maeder

b4fbc96e05117839ca409f5f20f97b3ac872d1edTill Mossakowskiop Attr : individual

7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maederop Cat : individual

a0e24c863b78669b05797ff8ce635995a9bede44Christian Maederop Happy : individual

08faa81d4dd8409cd923b334064f64f802ecc33dChristian Maederop Mat : individual

94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian Maederop On : individual

08faa81d4dd8409cd923b334064f64f802ecc33dChristian Maederop P : individual

08faa81d4dd8409cd923b334064f64f802ecc33dChristian Maederop Pet : individual

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederop Q : individual

08faa81d4dd8409cd923b334064f64f802ecc33dChristian Maederop x : individual

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederop y : individual

bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder. rel(P,cons(x,nil)) %(Ax_0)%

23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maeder. rel(P,cons(x,nil)) /\ rel(Q,cons(y,nil)) %(Ax_1)%

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder. rel(Cat,cons(x,nil)) \/ rel(Mat,cons(y,nil)) %(Ax_2)%

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder. not rel(On,cons(x,cons(y,nil))) %(Ax_3)%

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder. rel(P,cons(x,nil)) => rel(Q,cons(x,nil)) %(Ax_4)%

afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maeder. exists z:individual. rel(Pet,cons(x,nil)) /\ rel(Happy,cons(z,nil)) /\

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederrel(Attr,cons(x,cons(z,nil))) %(Ax_5)%

23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maeder