Pegasus in the Real and Mythological Worlds

: set-context real-world ()

: set-default-context real-world

: all(x)({Bird(x), Beast(x)} v=> {Animal(x)}).

: all(x)(Animal(x) => andor(1,1){Bird(x), Beast(x)}).

: all(x)(Horse(x) => Beast(x)).

: Horse(Pegasus).

Previous slide

Next slide

Back to first slide

View graphic version