print FacetResult in main()