Improved feedback on PropositionFragment