BinaryExpressionAtomContext