In default logic, we allow inference rules of the form

1.	In default logic, we allow inference rules of the form
A.	(A : B) / C
B.	A / (B : C)
C.	A / B
D.	A / B : C
Answer» B. A / (B : C)

Discussion