Abstract. Lehnert and Schweitzer show in [20] that R. Thompson's group V is a co-context-free (coCF ) group, thus implying that all of its finitely generated subgroups are also coCF groups. Also, Lehnert shows in his thesis that V embeds inside the coCF group QAut(T 2,c ), which is a group of particular bijections on the vertices of an infinite binary 2-edge-colored tree, and he conjectures that QAut(T 2,c ) is a universal coCF group. We show that QAut(T 2,c ) embeds into V , and thus obtain a new form for Lehnert's conjecture. Following up on these ideas, we begin work to build a representation theory into R. Thompson's group V . In particular we classify precisely which BaumslagSolitar groups embed into V .