Is-2-legal-within-a-sequence-or-property-expression-