public interface BinarySentenceProposition extends SentenceProposition
getScope, getUnboundScope, holds