@prefix : . :x1 :p 12 . :x2 :p 12.0 . :x3 :p :z . :x4 :p :z .