In default logic, which of the following inference rules of the form i

1.	In default logic, which of the following inference rules of the form is allowed?
A.	(A : B) / C
B.	A / (B : C)
C.	A / B
D.	A / B : C
Answer» B. A / (B : C)

Discussion