g: “You can graduate,”
m: “You owe money to the university,”
r: “You have completed the requirements of your major,”
and b: “You have an overdue library book.”
Now no money owe=∿m
no overdue of book=∿b
so
(r ^ (∿m )^ (∿b))---->g