# # Copyright World Wide Web Consortium, (Massachusetts Institute of # Technology, European Research Consortium for Informatics and # Mathematics, Keio University). # # All Rights Reserved. # # Please see the full Copyright clause at # # # Author: Jeremy J. Carroll # # Description: # # The triple asserts something of type Nothing, however # that is the empty class. # _:a .