A Formal Analysis of Hohfeldian Relations · Study