Subrelation

See Breakdown.