#Testing two built-ins, log:uri, and string:startsWith

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix string: <http://www.w3.org/2000/10/swap/string#>.
@prefix : <#>.

:bijan :emailAdr <mailto:bparsia@email.unc.edu>.
:zoe :emailAdr <mailto:mulfordz@eudoramail.com>.
:zoe :emailAdr "mailto:mulfordz@eudoramail.com".
:bijan :emailAdr <http://bijan.com/mailadr/bparsia@email.unc.edu/>.

this log:forAll :x, :y, :z.
{:x :email :y. :y  log:uri :z. :z string:startsWith "mailto:"} log:implies {:y a :mailbox}.
#{:zoe :emailAdr  :x}	log:implies {:x string:startsWith