Lines Matching refs:C1
1135 'KBS_cond_parse'( C1 and C2, Rs, and( TC1, TC2)) :-
1136 'KBS_cond_parse'( C1, Rs, TC1),
1139 'KBS_cond_parse'( C1 or C2, Rs, or( TC1, TC2)) :-
1140 'KBS_cond_parse'( C1, Rs, TC1),
1299 'KB_flatten'( and( C1, C2), S, Args, ','(Xtras1, Xtras2)) :-
1300 'KB_flatten'( C1, S, Args, Xtras1),
1368 'KB_simpl_flat_tree'(','(','(C1, C2), C3), NC) :-
1370 'KB_simpl_flat_tree'(','(C1, C2), NC1),
1371 NC1 \== and( C1, C2),
1373 'KB_simpl_flat_tree'(','(C3, ','(C1, C2)), NC) :-
1376 'KB_simpl_flat_tree'(','(C1, C2), NC1),
1377 NC1 \== and( C1, C2),
1665 'KB_link_join_atts'( and(C1, C2), RS1, RS2, Args1, Args2) :-
1666 'KB_link_join_atts'( C1, RS1, RS2, Args1, Args2),
1701 'KB_flatten'( and( C1, C2), S1, S2, Args1, Args2, ','(Xtras1, Xtras2)) :-
1702 'KB_flatten'( C1, S1, S2, Args1, Args2, Xtras1),