predicate calculus with identity

agathomyia thoracica baluster cover flange copper(ii) azide double cyclone duelsome effluxions follow up speed ideal indicator ignition controller indirect heat light opera newsprint paper nonattributably R-PBM removing toxicity for protecting yin shortliffe social opportunity space-network high polymer two-sided double-density diskette war nose