add and use Sentence interface and PropositionSymbol interface everywhere