Telephone Book Example:
AddEntry
Members, members’: P Person
telephones, telephones’: Person ?Phone
name?: Person
newnumber?:Person
dom telephones ? members
dom telephones’ ? members’
name?? members
name? newnumber? ?telephones
telephones’ = telephones ? { name? newnumber?}
members’ = members
Previous slide
Next slide
Back to first slide
View graphic version