题目内容：

帮我看一下这个句子的语法对不对?
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对,这里并不是什么独立主格,而是with+名词+adj,adv,to do,doing,done等等 表示状态,原因,目的等
with 最常见的是表伴随状态 过去分词表被动,不是过去