value(nativeMath, 1.0).
ok(nativeCompare, true).
ok(nativeString, true).
tail(nativeList, [b, c]).
label(vocabularyExample, "vocabulary names are ordinary predicate names").