Should cathedral imply church?

BUR #44086 is pending approval.

create implication cathedral -> church

By formal definition, a cathedral is a church that contains the cathedra (seat/throne) of a bishop.

While most people associate the word with huge and ornate churches.