辞海

释义：yǒu xíng kě jiǎn，yǒu shù kě tuī
推：推求。有形迹可检验，有数据可推求。