BUR #15996 has been rejected.
create implication princess_zelda_(tloz) -> princess_zelda
create implication princess_zelda_(alttp) -> princess_zelda
create implication princess_zelda_(oot) -> princess_zelda
create implication princess_zelda_(tp) -> princess_zelda
create implication princess_zelda_(ss) -> princess_zelda
create implication princess_zelda_(albw) -> princess_zelda
create implication princess_zelda_(botw) -> princess_zelda
create implication princess_zelda_(totk) -> princess_zelda
Seems these are slightly populated.
So implications make sense to me.