q6(?x1,?x2) :-  hasLoan(?x1,?y1),hasLoan(?x2,?y2),Loan(?y1), Loan(?y2), hasLoanStatusValue(?y1,?z),  hasLoanStatusValue(?y2,?z)