public interface TermProposition extends Proposition
RandomVariable
getTermVariable()
getScope, getUnboundScope, holds
RandomVariable getTermVariable()