Find!
v1=b1 is a recursive/subordinate clause of v3 with relation b2 among arguments b3; v3 is recursive.
Includes what are usually known to Lojbanists as relative clauses and abstractions. See also vipsi, bridi, ra'abri, astrato.