public interface UnarySentenceProposition extends SentenceProposition
getScope, getUnboundScope, holds