knownPolarities appear correct
joinWithClafer initially implemented