7)


lix1(BD) lix1(Medicos) lix1(Pacientes) lix1(Medicos[CRM=1000]) lix1(Pacientes[CPF=101]) u1(Pacientes[CPF=101])
u1(Medicos[CRM=1000]) u1(Medicos) u1(Pacientes) u1(BD)


lix2(BD) lis2(Medicos) lix2(Pacientes) lix2(Pacientes[CPF=200]) u2(Pacientes[CPF=200]) u2(Pacientes)
u2(Medicos) u2(BD)


lix3(BD) lix3(Pacientes) lis3(Pacientes[CPF=101]) lix3(Pacientes[CPF=111]) u3(Pacientes[CPF=111])
u3(Pacientes[CPF=101]) u3(Pacientes) u3(BD)


lix4(BD) lsix4(Medicos) lix4(Medicos[CRM=100]) u4(Medicos[CRM=100]) u4(Medicos) u4(BD)