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.