first-order predicate

audio-guide bootstrap behavior double sleeper joint genus gaultherias helman infrared albedo kingpiece megapolises morula marginatra netropsin octulopyranoside ordinary representation parallel form Polyxena sheared bolt tinea palmae trachelanthamidine-N-oxide turbine-generator protection system vaporization coefficient waechters