(=> (Partner ?Partner) (Exists (?Partnership) (Partner-Of ?Partner ?Partnership)))
(<=> (Partner ?Partner) (And (Person ?Partner) (Actor ?Partner) (Exists (?Partnership) (Partner-Of ?Partner ?Partnership))))