帮我看一下这个句子的语法对不对?1.This object applies points as hidden feature with its precondition proved.2.This object applies points as hidden feature with its precondition being proved.这两句那句对啊?说明下理由,这个with的用法在英语语法上是什么个说法
问题描述：
帮我看一下这个句子的语法对不对?
1.This object applies points as hidden feature with its precondition proved.
2.This object applies points as hidden feature with its precondition being proved.
这两句那句对啊?说明下理由,这个with的用法在英语语法上是什么个说法
答
第一句
with的复合结构作独立主格
表示伴随情况时，既可用分词的独立结构，也可用with的复合结构：with +名词（代词）+现在分词/过去分词/形容词/副词/不定式/介词短语。例如：The murderer was brought in, with his hands ___ behind his back。
A. being tied B. having tied C. to be tied D. tied
答案D. with +名词（代词）+分词+介词短语结构。当分词表示伴随状况时，其主语常常用with来引导。由于本句中名词\"手\"与分词\"绑\"是被动关系，因此用过去分词，选D.
答
第一句
with 后接宾语 在这里做介词 proved 修饰precondition 表状态 有过去时的含义
答
1对,这里并不是什么独立主格,而是with+名词+adj,adv,to do,doing,done等等 表示状态,原因,目的等
with 最常见的是表伴随状态 过去分词表被动,不是过去