From PSL to NBA: a Modular Symbolic Encoding