q7(?x1,?x2) :-  hasLoan(?x1,?y1),hasLoan(?x2,?y2),Loan(?y1), Loan(?y2), 
hasLoanStatusValue(?y1,?z),  hasLoanStatusValue(?y2,?z), 
ProblemStatus(?z).