# Test the syntactic items for abbreviation. | |
# This is *not* testing rule application. | |
@prefix : <#> . | |
_:a => _:b . | |
_:a <= _:b . | |
_:a = _:b . | |
# 'this' refers to the current formula so is not legal for RDF | |
# this a "thing". | |
<> a "thing too". | |
<#> a "another thing". |