1. Multiple Inheritance
Roger L. Costello
March 24, 2018

2. Fun facts Each basketball player is a person. Each man is a person.
LeBron James is a basketball player.
LeBron James is a man.

3. Fun facts Each basketball player is a person. Each man is a person.
LeBron James is a basketball player.
LeBron James is a man.
basketball player

4. Fun facts Each basketball player is a person. Each man is a person.
LeBron James is a basketball player.
LeBron James is a man.
man
basketball player

5. Fun facts Each basketball player is a person. Each man is a person.
LeBron James is a basketball player.
LeBron James is a man.
LeBron James
man
basketball player

6. Fun facts Each basketball player is a person. Each man is a person.
LeBron James is a basketball player.
LeBron James is a man.
LeBron James
man
basketball player

7. Fun facts Each basketball player is a person. Each man is a person.
LeBron James is a basketball player.
LeBron James is a man.
man
basketball player
LeBron James
multiple inheritance

8. sig person {}
sig basketball_player in person {}
sig man in person {}
one sig LeBron_James in basketball_player {}
fact {LeBron_James in man}
person
man
basketball player
LeBron James
To implement multiple inheritance, supplement a subset signature with a fact.

9. sig person {}
sig basketball_player in person {}
sig man in person {}
one sig LeBron_James in basketball_player {}
fact {LeBron_James in man}
assert LeBron_James_is_a_basketball_player_and_a_man {
(LeBron_James in basketball_player) and
(LeBron_James in man) }
check LeBron_James_is_a_basketball_player_and_a_man
No counterexamples found.