sample(name:PK,donorVisitID) :- Sample(X1),Donor_Visit(X2),forDonorVisit(X1,X2), name(X1,name),id(X2,donorVisitID)::identifier(X1,name), identifier(X2,donorVisitID). donor_visit(id:PK,donor,content) :- Donor_Visit(X1),Donor(X2),content(X1,content), id(X1,id),id(X2,donor)::identifier(X1,id), identifier(X2,donor). donor(id:PK,gender,species,strain,dob) :- Animal_Donor(X1),Donor(X2),Human_Donor(X3), isa(X1,X2),isa(X3,X2),dob(X3,dob), gender(X2,gender),strain(X1,strain),id(X2,id), species(X2,species)::identifier(X1,strain), identifier(X2,id),identifier(X3,dob). visit_update(updateID:PK,visit) :- Visit_Update(X1),Donor_Visit(X2),forDonorVisit(X1,X2), id(X1,updateID),id(X2,visit)::identifier(X1,updateID), identifier(X2,visit). lab_test(testID:PK,visitUpdate) :- Lab_Test(X1),Visit_Update(X2),forUpdate(X1,X2), id(X2,visitUpdate),id(X1,testID)::identifier(X1,testID), identifier(X2,visitUpdate). diagnoses(diagID:PK,visitUpdate) :- Diagnoses(X1),Visit_Update(X2),forUpdate(X1,X2), id(X1,diagID),id(X2,visitUpdate)::identifier(X1,diagID), identifier(X2,visitUpdate). medications(medicID:PK,visitUpdate) :- Medications(X1),Visit_Update(X2),forUpdate(X1,X2), id(X2,visitUpdate),id(X1,medicID)::identifier(X1,medicID), identifier(X2,visitUpdate). family_history(histID:PK,visitUpdate) :- Family_History(X1),Visit_Update(X2),forUpdate(X1,X2), id(X2,visitUpdate),id(X1,histID)::identifier(X1,histID), identifier(X2,visitUpdate). life_style_factors(factID:PK,visitUpdate) :- Life_Style_Factors(X1),Visit_Update(X2),forUpdate(X1,X2), id(X1,factID),id(X2,visitUpdate)::identifier(X1,factID), identifier(X2,visitUpdate).