PREFIX : { (:p1 ., :p2 .) }