# 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".