fof(e1_113_1__membered, conjecture, ?[X1]:![X2]:(r2_hidden(X2,X1)<=>(r2_hidden(X2,k4_numbers)&p1_s5_membered(X2))), file('membered/membered__1462_35', e1_113_1__membered)).
fof(s1_xboole_0__e1_113_1__membered, axiom, ?[X1]:![X2]:(r2_hidden(X2,X1)<=>(r2_hidden(X2,k4_numbers)&p1_s5_membered(X2))), file('membered/membered__1462_35', s1_xboole_0__e1_113_1__membered)).