Predicate ��ʾ



Frameset: f1

   ARG0: submitter
   ARG1: proof
   ARG2: submitting to

Frame:

 (IP (PP-TPC (P ���)
	  (NP (CP (WHNP-2 (-NONE- *OP*))
		  (CP (IP (NP-SBJ (-NONE- *T*-2))
			  (VP (VV ��ס)
			      (PP-LOC (P ��)
				      (NP (NN �ڵ�)))))
		      (DEC ��)))
	      (NP (NN ��ͯ))))
  (PU ��)
  (NP-SBJ (PN ����))
  (VP (VV ����)
      (VP (VP (VV ��ʾ)
	      (NP-OBJ (CP (WHNP-3 (-NONE- *OP*))
			  (CP (IP (NP-SBJ (-NONE- *T*-3))
				  (VP (VP (PP-LGS (P ��)
						  (NP (NP-PN (NN �뾳)
							     (NN ����))
						      (NP (NN ����))))
					  (VP (VV ǩ��)))
				      (CC ��)
				      (VP (VV ����)
					  (PP-LOC (P ��)
						  (LCP (NP (NP (PN ��))
							   (NP (NN ����)
							       (NN ͨ��֤)))
						       (LC ��))))))
			      (DEC ��)))
		      (NP (NN ����Ȩ)
			  (NN ֤����))))
	  (PU ��)
	  (VP (VV ֤��)
	      (NP-OBJ (NP (PN ��))
		      (NP (NN ����Ȩ))))))
  (PU ��)) 

ARG0: ����
ARG1: *OP* *T*-3 �� �뾳 ���� ���� ǩ�� �� ���� �� �� ���� ͨ��֤ �� �� ����Ȩ ֤����
ARGM-TPC: ��� *OP* *T*-2 ��ס �� �ڵ� �� ��ͯ
REL:  ��ʾ