diff options
Diffstat (limited to 'examples/logic/LogicI.gf')
| -rw-r--r-- | examples/logic/LogicI.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/logic/LogicI.gf b/examples/logic/LogicI.gf index 1f9b08e41..3598022ac 100644 --- a/examples/logic/LogicI.gf +++ b/examples/logic/LogicI.gf @@ -28,7 +28,7 @@ lin Univ A B = AdvS (mkAdv for_Prep (mkNP all_Predet - (mkNP (mkDet (PlQuant IndefArt) NoNum NoOrd) (mkCN A (symb B.$0))))) + (mkNP (mkDet (PlQuant IndefArt)) (mkCN A (symb B.$0))))) B ; DisjIl A B a = proof a (proof afortiori (coord or_Conj A B)) ; |