I want separate address book entries for individuals (so that I can keep track of work phone numbers, for example). But individuals that are related to each other often share home addresses and phone numbers. So:
If John is married to Jane, then
John is a significant other of Jane, and
{ :p p:spouse :s } log:implies { :p p:sigother :s } .
If John is a significant other of Jane, then
John lives with Jane, and
{ :p p:sigother :s } log:implies { :p p:livesWith :s } .
If John lives with Jane, and
Jane has a phone number, and
That phone number is labeled "Home", then
John also has that phone number.
{ :p p:livesWith :s . :s :phone :o . :o :label :t . :t palm:label "Home" } log:implies { :p :phone :o } .
Etc.