Type (འདེམས་རུང་) གནས་སྒྲིག་གི་རྣམ་པ་གཏན་འཁེལ་བྱེད། = 0 རིམ་འཕར་རིམ་སྒྲིག་མཚོན་ = 1 ཡིས་རིམ་ཆག་རིམ་སྒྲིག་མཚོན།
p (...) predicate (a "function" that returns a boolean); each of the 1 or more comma-separated parameters is a term.
Music, Opinion, Size