In Section 4.4 of his book Higher Algebra, Lurie introduces, for a monoid object $A$ of a monoidal quasicategory $C$, and right and left $A$-modules $M,N$, the relative tensor product $M\otimes_AN$. As I've stated it, this object is only a $(1,1)$-bimodule, where I'm using $1$ to indicate the monoidal unit of $C$. If $M$ and $N$ have left and right $A'$ and $A''$-actions respectively, then $M\otimes_A N$ is an $(A',A'')$-bimodule.

In general, this construction (see Construction 4.4.2.7) is done over an arbitrary $\infty$-operad $O^\otimes$. This uses Lurie's $\infty$-operad $Tens^\otimes$ in an essential way. Specifically if we have a commutative diagram

$$\matrix{ Tens^\otimes_{[2]} \to& C^\otimes\\ \downarrow & \downarrow\\ Tens^\otimes\overset{f}\to& O^\otimes}$$

where the top horizontal map picks out the pair of modules and the algebra we wish to tensor them over, then the relative tensor product is given by a lift $Tens^\otimes\to C^\otimes$ as a diagonal arrow in this diagram, whose restriction to a certain subcategory of $Tens^\otimes$ picks out the object in $C$ which is the tensor product itself.

**My Question is the following:** What sorts of maps are there $f:Tens^\otimes\to O^\otimes$? For instance, since $Tens^\otimes$ is produced, it seems, from $N(\Delta)^{op}$, I cannot see how one might get a map $f:Tens^\otimes\to E_n^\otimes$ to produce the relative tensor product over an $E_{n-1}$-algebra in $C$. Is there a way around this? Does Lurie describe how to produce more than maps $Tens^\otimes\to Ass^\otimes$?