The WEAVE
operation, wtype-k(f{O1,
O2, …, On}) weaves all type-k objects in f{O1,
O2, …, On} into a new expression f’ª7bO’1, O’2,
…, O’n}. The
predicate type-k is evaluated on the object profiles.
wtype-k(f{O1,
O2, …, On}) = f’{O’1,
O’2, …, O’n} where O’i
in{O1, O2, …, Onª7dis of type-k.