fau'arma fu'ivla

x1 is the result of evaluating formal expression x2 (quote; extracts the contents therefrom in order) according to rules x3