Chaned Sentential to Propositional. Corrected defineTerm to make proper type.