@where

The attribute where restricts the <claim> to a specific <place>. Multiple values of @where are interpreted to mean "or" with union. No distribution takes place (e.g., where="x y" means "[subject] x or y [verby]...", not "[subject] x [verb]..." and "[subject] y [verb]...").

Formal Definition

Defined at: TAN-A-div.rng

Used by: ~claim