# List (a, * , *)
####################################
<http://www.hpl.hp.com/semweb/2003/eg#a> <var:x> <var:y> .