Whether the assertion implies bound(?x) of its root, which is what the emptiness rule (FBndII) and every licence moving an assertion into a single operand are read off.
bound(?x)
The assertion to check
whether it entails that the root is bound
Whether the assertion implies
bound(?x)of its root, which is what the emptiness rule (FBndII) and every licence moving an assertion into a single operand are read off.