 Note that “\(\unary{f} \inclusion \binary{m}\)” (unlike “\(\unary{f} \inclusion \unary{m}\)”) would be ungrammatical since \(\binary{m}\), being a binary predicate, cannot have an inclusion relation with a unary predicate \(\unary{f}\).