C.3.3:6.3 - Order & Monotonicity

KB-05 (Monotone order). If a bridge assertion states that source order fact SubkindOfObtains(k1, k2; sourceRS) is preserved, it SHALL designate exact target kinds k1' and k2', the respective obtaining KindBridge relations from k1 to k1' and from k2 to k2', and the basis on which SubkindOfObtains(k1', k2'; targetRS) holds. Identify a target R_sub : U.SubkindOf occurrence only when a receiving use needs occurrence identity. KB-06 (No inversions). A bridge assertion MUST NOT state preservation when the mapped target order is inverted. If SubkindOfObtains(k2', k1'; targetRS) holds for distinct mapped kinds and the required forward fact SubkindOfObtains(k1', k2'; targetRS) is established not to hold, state non-preservation and the exact loss. If the required target order cannot be settled, state unknown; do not turn non-settlement into either preservation or inversion. KB-07 (Collapse semantics). A bridge assertion may classify selected source subkind distinctions as collapsed when several source kinds correspond to one target kind. The assertion SHALL designate the affected obtaining U.SubkindOf relations and state the lost properties; the direct bridge relation does not alter either local order.