arc(r_0003_0001__See, z_0000_0000, z_0000_0000).
fof(formula,axiom, ? [R_3_1_SEE,Z_] : ( see(R_3_1_SEE) & z_(R_3_1_SEE,Z_) ) ).
( (CP-QUE-MAT (IP-SUB (VB;_I_ See;{see})) (PUNC ?)) (ID 3_a_toeic;32-34;speaker=customer))