# Test on induction

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://test/>. 


this log:forAll :a.
:a a :number.