(prefix ((: )) (propfunc :f ?x ?y (bgp [triple ?s ?p ?o]) ))