How can we symbolize "All dogs bark" in RPL?
B1
D1
We start with the simple matrix form, then slide the quantifier out
Dictionary