sample(name:PK,donorID) :- Sample(X1),Donor(X2),hasDonor(X1,X2), name(X1,name),id(X2,donorID)::identifier(X1,name), identifier(X2,donorID). donor(id:PK,gender,species) :- Donor(X1),species(X1,species),gender(X1,gender), id(X1,id)::identifier(X1,id). animal_donor(id,strain:PK,species) :- Animal_Donor(X1),Donor(X2),isa(X1,X2), strain(X1,strain),id(X2,id),species(X1,species):: identifier(X1,strain),identifier(X2,id). human_donor(id,dob:PK,gender) :- Human_Donor(X1),Donor(X2),isa(X1,X2), dob(X1,dob),gender(X1,gender),id(X2,id):: identifier(X1,dob),identifier(X2,id). lab_test(testID:PK,donor) :- Lab_Test(X1),Donor(X2),forDonor(X1,X2), testID(X1,testID),id(X2,donor)::identifier(X1,testID), identifier(X2,donor). diagnoses(diagID:PK,donor) :- Diagnoses(X1),Human_Donor(X2),forHumanDonor(X1,X2), id(X2,donor),diagID(X1,diagID)::identifier(X1,diagID), identifier(X2,donor). medications(medicID:PK,donor) :- Medications(X1),Human_Donor(X2),forHumanDonor(X1,X2), medicID(X1,medicID),id(X2,donor)::identifier(X1,medicID), identifier(X2,donor). family_history(histID:PK,donor) :- Family_History(X1),Human_Donor(X2),forHumanDonor(X1,X2), id(X2,donor),histID(X1,histID)::identifier(X1,histID), identifier(X2,donor). life_style_factors(factID:PK,donor) :- Life_Style_Factors(X1),Human_Donor(X2), forHumanDonor(X1,X2),id(X2,donor), factorID(X1,factID)::identifier(X1,factID), identifier(X2,donor).