帮我看一下这个句子的语法对不对？

Question

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的用法在英语语法上是什么个说法 啊？谢谢啦~！

Answer 1

1对，这里并不是什么独立主格，而是with+名词+adj，adv，to do，doing，done等等 表示状态，原因，目的等
with 最常见的是表伴随状态 过去分词表被动，不是过去

Answer 2

第一句
with 后接宾语 在这里做介词 proved 修饰precondition 表状态 有过去时的含义

Answer 3

第一句
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.