inferring a part-of family statement for a protein from the two statements 1. protein --> has part --> protein domain; and 2. protein family is associated with that domain