Some irci prenu noticed that a definition for {pi PA broda} is missing from http://mw.lojban.org/index.php?title=BPFK_Section:_gadri#Formal_definitions (tiki link is analogous). We (Ilmen) assumed it is supposed to saypiPA broda = lo piPA si'e be pa da poi brodabut we didn't want to change it without asking someone.