CPL @1095 (75.0%) on 17-jan-2018 [ "arg1 is a registered trademark of arg2" "arg1 logo are trademarks of arg2" ] using (ptc, parametric_technology_corporation)
CPL @1095 (75.0%) on 17-jan-2018 [ "arg1 is a registered trademark of arg2" "arg1 logo are trademarks of arg2" ] using (parametric_technology_corporation, ptc)