帮我看一下这个句子的语法对不对? 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 ...