First, some properties of equivalency of default theories are proposed.
首先, 得到了若干关于缺省理论等价的性质.
相关词汇
firstn. 第一,最初,头等,一号,,[乐]高音部;adv. 最早,最初,首次,宁愿,优先;adj. 第一流的,最初的,最早的,基本的,概要的,高音的;num. 第一;
somedet. 一些,某个,部分,相当多的;pron. 一些,若干,(数量不确切时用)有些人;adv. 大约,有点,稍微;
ofprep. 关于,属于…的,由…制成;aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
defaultvi. 未履行任务或责任,受传唤时未出庭,由于不到庭而败诉,弃权;vt. 未履行,拖欠,未参加或完成(例如,比赛),[法]因未到庭而败(诉);n. 未履行,拖欠,[法]未到庭,弃权,[计] 缺省,默认;
arevi. (用于第二人称单复数现在时,第一、三人称复数现在时)是;n. 公亩(等于100平方米);
proposedadj. 被提议的,所推荐的;v. 提议,建议( propose的过去式和过去分词 ),打算,提供(解释),提出(行动,计划或供表决的方案等);