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