. "Scope note:\nThis property describes the decomposition of an E3 Condition State into discrete, subsidiary states.It is assumed that the sub-states into which the condition state is analysed form a logical whole - although the entire story may not be completely known \u2013 and that the sub-states are in fact constitutive of the general condition state. For example, a general condition state of \u201Cin ruins\u201D may be decomposed\ninto the individual stages of decay.\nThis property is transitive\n\nExamples:\n- The Condition State of the ruined Parthenon (E3) consists of the bombarded state after the explosion of a Venetian shell in 1687 (E3)\n\nIn First Order Logic:\nP5(x,y) \u2283 E3(x)\nP5(x,y) \u2283 E3(y)"@en . . . . "P5"^^ . . "P5 consists of"@en .