Fix a basis \{e_1,\cdots,e_n\} of V over \mathbf{k}. Let \{f_k\}_{1 \leq k \leq m} be the basis of (\relsp) given by (?).
By (?), we have
\begin{aligned}
\mathrm{ABSu}_x(f_k)&=\Biggl\{\sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+ b_{i,j}^k \begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}+ c_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\succ
\end{pmatrix}\Biggr\},\\
\mathrm{ABSu}_y(f_k)&=\Biggl\{\sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\succ
\end{pmatrix}+b_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+c_{i,j}^k \begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix} \Biggr\},\\
\mathrm{ABSu}_z(f_k)&=\Biggl\{\sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}+ b_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\succ
\end{pmatrix}+ c_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix} \Biggr\},\\
\st(f_k)&=\Biggl\{\sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\ast
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}+ b_{i,j}^k \begin{pmatrix}
e_i \\
\ast
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}+ c_{i,j}^k \begin{pmatrix}
e_i \\
\ast
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix} \Biggr\}.
\end{aligned}
By (?), we similarly obtain
\begin{aligned}
\mathrm{ADup}_x(g_l)&=\Biggl\{ \sum_{i,j} \alpha^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee} \\
\dashv
\end{pmatrix}+\beta^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee} \\
\dagger
\end{pmatrix}+\gamma^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee} \\
\vdash
\end{pmatrix} \Biggr\},\\
\mathrm{ADup}_y(g_l)&=\Biggl\{ \sum_{i,j} \alpha^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee} \\
\vdash
\end{pmatrix}+\beta^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee} \\
\dashv
\end{pmatrix}+ \gamma^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\vdash
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee} \\
\dagger
\end{pmatrix} \Biggr\},\\
\mathrm{ADup}_z(g_l)&=\Biggl\{ \sum_{i,j} \alpha^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\vdash
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee} \\
\dagger
\end{pmatrix}+ \beta^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee} \\
\vdash
\end{pmatrix}+ \gamma^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee} \\
\dashv
\end{pmatrix} \Biggr\}, \\
\comp(g_l)&=\Biggl\{ \sum_{i,j} \alpha^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dagger
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee} \\
\dagger
\end{pmatrix}+ \beta^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dagger
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee} \\
\dagger
\end{pmatrix}+ \gamma^l_{i,j} \begin{pmatrix}
e_i^{\vee} \\
\dagger
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee} \\
\dagger
\end{pmatrix} \Biggr\}.
\end{aligned}
By Lemma 5.1, we have
\begin{aligned}
(\mathrm{ABSu}(R))&= \sum\limits_{k=1}^{m} (\mathbf{k} \mathrm{ABSu}_x(f_k)+\mathbf{k} \mathrm{ABSu}_y(f_k)+\mathbf{k} \mathrm{ABSu}_z(f_k)),\\
(\st(R))&= \sum\limits_{k=1}^{m} \mathbf{k} \st(f_k),\\
(\mathrm{ADup}(R^{\perp})) &= \sum\limits_{l=1}^{3n^2-m} (\mathbf{k} \mathrm{ADup}_x(g_l)+\mathbf{k} \mathrm{ADup}_y(g_l)+\mathbf{k} \mathrm{ADup}_z(g_l)),\\
(\comp(R^{\perp})) &= \sum\limits_{l=1}^{3n^2-m} \mathbf{k} \comp(g_l).
\end{aligned}
Since we have
\begin{aligned}
\mathrm{ABSu}(\opd)^!&=\Big(\mathcal{T}(\genbi)/ (\mathrm{ABSu}(\relsp)\cup\st(\relsp))\Big)^!=\mathcal{T}(\genbi^{\perp})/ (\mathrm{ABSu}(\relsp)\cup\st(\relsp))^{\perp}\\
&=\mathcal{T}(\genbi^{\perp})/ (\mathrm{ABSu}(\relsp))^{\perp} \cap (\st(\relsp))^{\perp};\\
\mathrm{ADup}(\opd^!)&=\mathcal{T}(\overline{\genbas^{\perp}})/
(\mathrm{ADup}(\relsp^{\perp}))\cap (\comp(\relsp^{\perp})),
\end{aligned}
To reach our conclusion, it suffices to show the following equalities under the condition \relsp\neq 0:
(i) \mathcal{T}(\genbi^{\perp})
=\mathcal{T}(\overline{\genbas^{\perp}});
(ii) (\mathrm{ABSu}(\relsp))^{\perp}=(\mathrm{ADup}(\relsp^{\perp}));
(iii) (\st(\relsp))^{\perp}=(\comp(\relsp^{\perp})).
As for (i), we have
\begin{pmatrix}
e_i\\
\prec
\end{pmatrix}^{\perp}=\begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix},\quad \begin{pmatrix}
e_i\\
\succ
\end{pmatrix}^{\perp}=\begin{pmatrix}
e_i^{\vee} \\
\vdash
\end{pmatrix},\quad \forall 1 \leq i \leq n.
That means
\langle \begin{pmatrix}
e_i\\
\prec
\end{pmatrix}, \begin{pmatrix}
e_i^{\vee} \\
\dashv
\end{pmatrix} \rangle=0,\quad \langle \begin{pmatrix}
e_i\\
\succ
\end{pmatrix}, \begin{pmatrix}
e_i^{\vee} \\
\vdash
\end{pmatrix} \rangle=0,
which implies that \mathcal{T}_{\hspace*{-0.1cm}ns}(\genbi^{\perp})
=\mathcal{T}_{\hspace*{-0.1cm}ns}(\overline{\genbas^{\perp}}).
As for (ii), by (?), for all 1\leq k \leq m and 1\leq l\leq 3n^2-m, we have
\langle \mathrm{ABSu}_p(f_k), \mathrm{ADup}_q(g_l) \rangle=0, \quad \forall p,q\in \{x,y,z\}.
Thus, we have \langle \mathrm{ABSu}(f_k), \mathrm{ADup}(g_l) \rangle=0, which implies that (\mathrm{ABSu}(\relsp))^{\perp}\supseteq (\mathrm{ADup}(\relsp^{\perp})).
On the other hand, if
h=\sum_{i,j,u,v} x_{i,j,u,v} \begin{pmatrix}
e_i^{\vee}\\
u
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
v
\end{pmatrix}+y_{i,j,u,v} \begin{pmatrix}
e_i^{\vee}\\
u
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
v
\end{pmatrix}+z_{i,j,u,v} \begin{pmatrix}
e_i^{\vee}\\
u
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
v
\end{pmatrix}
is in (\mathrm{ABSu}(R))^{\perp}, where u,v\in \{\dashv,\vdash\}, then for all 1 \leq k \leq m, we have
\langle h,\mathrm{ABSu}_x(f_k)\rangle=0,\quad \langle h,\mathrm{ABSu}_y(f_k)\rangle=0, \quad \langle h,\mathrm{ABSu}_z(f_k)\rangle=0.
Since R \neq 0, by [PBGN, Proposition 3.1], for any fixed i_0,j_0\in \{1,2,\cdots,n\}, there exists 1 \leq k_0 \leq m, such that b_{i_0,j_0}^{k_0}\neq 0. Then for any k, we deduce that the following relations
\begin{aligned}
F_1&:=& \sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+b^{k}_{i_0,j_0}\begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+\sum_{i\neq i_0,j\neq j_0} b_{i,j}^k \begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+\sum_{i,j} c_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\succ
\end{pmatrix},\\
F_2&:=& \sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+b^{k}_{i_0,j_0}\begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\prec
\end{pmatrix}+\sum_{i\neq i_0,j\neq j_0} b_{i,j}^k \begin{pmatrix}
e_i \\
\succ
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\succ
\end{pmatrix}+\sum_{i,j} c_{i,j}^k \begin{pmatrix}
e_i \\
\prec
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\succ
\end{pmatrix},
\end{aligned}
are in \mathrm{ABSu}_x(f_k). Thus for all 1 \leq k \leq m, we obtain
\begin{aligned}
\sum_{i,j} a^k_{i,j} x_{i,j,\dashv,\dashv}+b^k_{i_0,j_0} y_{i_0,j_0,\vdash,\dashv}+\sum_{i\neq i_0,j\neq j_0} b^k_{i,j} y_{i,j,\vdash,\dashv}+\sum_{i,j} c^k_{i,j} z_{i,j,\dashv,\vdash}&=\langle h,F_1 \rangle=0;\\
\sum_{i,j} a^k_{i,j} x_{i,j,\dashv,\dashv}+b^k_{i_0,j_0} y_{i_0,j_0,\vdash,\vdash}+\sum_{i\neq i_0,j\neq j_0} b^k_{i,j} y_{i,j,\vdash,\dashv}+\sum_{i,j} c^k_{i,j} z_{i,j,\dashv,\vdash}&=\langle h,F_2 \rangle=0.
\end{aligned}
Since b^k_{i_0,j_0} \neq 0, we have y_{i_0,j_0,\vdash,\dashv}=y_{i_0,j_0,\vdash,\vdash}
for all 1\leq i_0,j_0 \leq n. By (?), we also have
(x_{i,j,\dashv,\dashv}, y_{i,j,\vdash,\dashv}, z_{i,j,\dashv,\vdash})=\sum\limits_{l=1}^{3n^2-m} d_l(\alpha_{i,j}^l,\beta_{i,j}^l,\gamma_{i,j}^l),
for some d_l \in \mathbf{k}. Thus we obtain
\begin{aligned}
h_x &:=& \sum_{i,j} x_{i,j,\dashv,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+y_{i,j,\vdash,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+y_{i,j,\vdash,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}+z_{i,j,\dashv,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix} \\
&= \sum_{i,j} x_{i,j,\dashv,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+y_{i,j,\vdash,\dashv} \Big(\begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+\begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}\Big)+z_{i,j,\dashv,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix} \\
&= \sum_{l=1}^{3n^2-m} d_l \Bigg(\sum_{i,j} \alpha^l_{i,j} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+\beta^l_{i,j} \Big(\begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+\begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}\Big)+\gamma^l_{i,j} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}\Bigg),
\end{aligned}
which is in \sum_{l=1}^{3n^2-m} \mathbf{k} \mathrm{ADup}_x(g_l). Similarly, we also find that
\begin{aligned}
h_y := \sum_{i,j} x_{i,j,\dashv,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}+y_{i,j,\dashv,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+z_{i,j,\vdash,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+z_{i,j,\vdash,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix},
\end{aligned}
is in \sum_{l=1}^{3n^2-m} \mathbf{k} \mathrm{ADup}_y(g_l) and
\begin{aligned}
h_z := \sum_{i,j} x_{i,j,\vdash,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix}+x_{i,j,\vdash,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\vdash
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}+y_{i,j,\dashv,\vdash} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\vdash
\end{pmatrix}+z_{i,j,\dashv,\dashv} \begin{pmatrix}
e_i^{\vee}\\
\dashv
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
\dashv
\end{pmatrix},
\end{aligned}
is in \sum_{l=1}^{3n^2-m} \mathbf{k} \mathrm{ADup}_z(g_l). Note that h=h_x+h_y+h_z. Thus we deduce that h is in \sum_l \mathbf{k} \mathrm{ADup}_x(g_l)+\mathbf{k} \mathrm{ADup}_y(g_l)+\mathbf{k} \mathrm{ADup}_z(g_l), which implies that h is in the \mathbb{S}-module generated by \mathrm{ADup}(R^{\perp}). Thus we prove that (\mathrm{ABSu}(\relsp))^{\perp}= (\mathrm{ADup}(\relsp^{\perp})).
As for (iii), by (?), for all 1\leq k \leq m and 1\leq l\leq 3n^2-m, we have
\langle \st(f_k), \comp(g_l) \rangle=0,
which implies that (\st(\relsp))^{\perp}\supseteq (\comp(\relsp^{\perp})).
On the other hand, if
h'=\sum_{i,j,u,v} x'_{i,j,u,v} \begin{pmatrix}
e_i^{\vee}\\
u
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
v
\end{pmatrix}+y'_{i,j,u,v} \begin{pmatrix}
e_i^{\vee}\\
u
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
v
\end{pmatrix}+z'_{i,j,u,v} \begin{pmatrix}
e_i^{\vee}\\
u
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
v
\end{pmatrix}
is in (\st(R))^{\perp}, where u,v\in \{\dashv,\vdash\}, then for all 1 \leq k \leq m, we have
\langle h',\st(f_k)\rangle=0.
For any k,
\begin{aligned}
G &:=& \sum_{i,j} a_{i,j}^k \begin{pmatrix}
e_i \\
\ast
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}+b_{i,j}^{k}\begin{pmatrix}
e_i \\
\ast
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}+c_{i,j}^k \begin{pmatrix}
e_i \\
\ast
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j \\
\ast
\end{pmatrix}
\end{aligned}
is in \st(f_k). Thus for all 1 \leq k \leq m, we obtain
\begin{aligned}
\sum_{i,j,u,v} a^k_{i,j} x'_{i,j,u,v}+b^k_{i,j} y'_{i,j,u,v}+c^k_{i,j} z'_{i,j,u,v}=\langle h',G \rangle=0.
\end{aligned}
By (?), we also have
(\sum_{u,v} x'_{i,j,u,v}, \sum_{u,v} y'_{i,j,u,v}, \sum_{u,v} z'_{i,j,u,v})=\sum\limits_{l=1}^{3n^2-m} d'_l(\alpha_{i,j}^l,\beta_{i,j}^l,\gamma_{i,j}^l),
for some d'_l \in \mathbf{k}. Thus we obtain
\begin{aligned}
h'= \sum_{l=1}^{3n^2-m} d'_l \Bigg(\sum_{i,j} \alpha^l_{i,j} \begin{pmatrix}
e_i^{\vee}\\
\dagger
\end{pmatrix} \circ_{\rmi} \begin{pmatrix}
e_j^{\vee}\\
\dagger
\end{pmatrix}+\beta^l_{i,j} \begin{pmatrix}
e_i^{\vee}\\
\dagger
\end{pmatrix} \circ_{\rmii} \begin{pmatrix}
e_j^{\vee}\\
\dagger
\end{pmatrix}+\gamma^l_{i,j} \begin{pmatrix}
e_i^{\vee}\\
\dagger
\end{pmatrix} \circ_{\rmiii} \begin{pmatrix}
e_j^{\vee}\\
\dagger
\end{pmatrix}\Bigg),
\end{aligned}
which implies that h is in the \mathbb{S}-module generated by \comp(\relsp^{\perp}). Thus we have (\st(\relsp))^{\perp}= (\comp(\relsp^{\perp})). Therefore, we have
\mathrm{ADup}(\opd^!)=\mathrm{ABSu}(\opd)^!.