public ConjunctiveProposition(IProposition left, IProposition right)
{
if (null == left)
{
throw new IllegalArgumentException(
"Left side of conjunction must be specified.");
}
if (null == right)
{
throw new IllegalArgumentException(
"Right side of conjunction must be specified.");
}
// Track nested scope
addScope(left.getScope());
addScope(right.getScope());
addUnboundScope(left.getUnboundScope());
addUnboundScope(right.getUnboundScope());
this.left = left;
this.right = right;
}