subseteq(r5,r3). % placeholders are individuals, not tuples defAs(pH,r5). % let us designate their collection by "pH"