F log:includes G; log:notIncludes H.
?doc log:semantics ?F.
crypto:signature
Tim Berners-Lee
27 of 52