public interface IProposition
boolean
eval(IEvalTarget target)
String
getName()
String getName()
boolean eval(IEvalTarget target)
target