. . . . "Scope note:\nThis property allows the ending point for a E2 Temporal Entity to be situated by reference to the ending point of another temporal entity of longer duration.\n\nThis property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the \"finishes / finished-by\" relationships of Allen\u2019s temporal logic (Allen, 1983, pp. 832-843).\nThis property is transitive.\n\nExamples:\n- Late Bronze Age (E4) finishes Bronze Age (E4)\n\nIn First Order Logic:\nP115(x,y) \u2283 E2(x)\nP115(x,y) \u2283 E2(y)"@en . . "P115 finishes"@en . "P115"^^ .