%========================================================

%     Name: Juan C Ibarra Cuza

%     Panther-ID: x x x - 4175 (last 4 digits)

%     Course: COP 4710

%     Assignment#: 1

%     Due: Tue, Sep 8, 2020

%     I hereby certify that this work is my own and none of
%     it is the work of any other person.

%                             Signature: Juan C Ibarra
%     =========================================================

result:=
  {B.title, BR.branchName| 
   branch(BR) and book(B)  and B.price>20 and
    (exists I) 
      (inventory (I) and I.branchNum=BR.branchNum and I.onHand>0 and book (B) and B.bookCode=I.bookCode)};