a (context|modal) (non-gloss definition|Indicates that the proposition can be verified by observation.)