1 𝜋 sname (𝜎 bid=103 (Reserve ⋈ Sailor))

2 π sname (σ color='Red' (Sailors ⨝_{sid=sid} Reserves ⨝_{bid=bid} Boats))

3 π color (σ sname='Lubber' (Sailors ⨝_{sid=sid} Reserves ⨝_{bid=bid} Boats))

4 π sname (Sailors ⨝_{sid=sid} Reserves)

5 π sname (σ color='Red' or color='Green' (Sailors ⨝_{sid=sid} Reserves ⨝_{bid=bid} Boats))

6 π sname (σ color='Red' and color='Green' (Sailors ⨝_{sid=sid} Reserves ⨝_{bid=bid} Boats))

7 π sid (σ age>20 (Sailors) - π sid (σ color='Red' (Sailors ⨝_{sid=sid} Reserves ⨝_{bid=bid} Boats)))

8 π sname (Sailors) - π sname ((π sid (Sailors) - π sid (Reserves)) ⨝_{sid=sid} Sailors)

9 π sname (σ bname='Interlake' (Sailors ⨝_{sid=sid} Reserves ⨝_{bid=bid} Boats))

10 π sname (σ count(bid)>=2 (γ_{sid; count(bid)} (Sailors ⨝_{sid=sid} Reserves) ⨝_{sid=sid} Sailors))