|   a   |   b
p| {q,r} |  {r}
q|  {}   |  {p}
r|  {r}  |  {r}