语句变元

sentential variable