Modeling selectional restrictions in a relational type system | Read Paper on Bytez