Re: [xml-dev] Constraining XML instances using standard logic properties

> if (../Sibling[(Person1 eq $from) and (Person2 eq $i/Person2)]) then true()
else false())

if(anything) then true() else false()

can be more simply written as

anything

or boolean(anything) if it isn't already a boolean expression.

David

Follow-Ups:
- Re: [xml-dev] Constraining XML instances using standard logic properties
  - From: yamahito <yamahito@gmail.com>

References:
- Constraining XML instances using standard logic properties
  - From: "Costello, Roger L." <costello@mitre.org>