# ========================================================================
# Good cobbler
# Example from https://shs.hal.science/halshs-04148373/document
# Using term logic http://intrologic.stanford.edu/chapters/chapter_11.html
# ========================================================================
@prefix : .
# joe is a good cobbler
:joe :is (:good :Cobbler).
# is there some x which is good at some y
{ ?X :is (:good ?Y). } => { :test :is { ?X :is (:good ?Y) }. }.