# Output file for RDF Model Theory inferencer test case
# The inferred triples should at least contain the following triple(s):
<http://example.org/A> <http://example.org/superProp> <http://example.org/B>.
